Metrics for ab-angle->ABCF D

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

0.2MiB live, 0.2MiB 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)

sample677.0ms (50%)

Memory

21.8MiB live, 726.0MiB allocated; 143ms collecting garbage

Samples

438.0ms

8 256×

valid

Precisions

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

ival-mult: 178.0ms (79.4% of total)

ival-neg: 41.0ms (18.3% of total)

adjust: 2.0ms (0.9% of total)

ival-assert: 2.0ms (0.9% of total)

Bogosity

explain69.0ms (5.1%)

Memory

21.4MiB live, 67.9MiB allocated; 6ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
37	1	(2.0893045256542178e-169 -330760951772079.56)	1	(1.7360858913993102e-159 -9.914422930258124e+261)	`(.f64 (.f64 a a) b)`
25	0	-	4	(2.0893045256542178e-169 -330760951772079.56)	`(.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**	21
`*.f64`	`(.f64 (.f64 a a) b)`	*no**	16
`*.f64`	`(.f64 (.f64 (*.f64 a a) b) b)`	*no**	11
`*.f64`	`(.f64 (.f64 (*.f64 a a) b) b)`	*nu**	10

Confusion

	Predicted +	Predicted -
+	58	1
-	0	197

Precision

1.0

Recall

0.9830508474576272

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	58	0	1
-	0	0	197

Precision?

1.0

Recall?

0.9830508474576272

Freqs

test

number	freq
0	198
1	58

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

30.0ms

512×

valid

Compiler

Compiled 62 to 22 computations (64.5% saved)

Precisions

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

ival-mult: 14.0ms (82.8% of total)

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

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

adjust: 0.0ms (0% of total)

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

preprocess29.0ms (2.1%)

Memory

-13.7MiB live, 32.7MiB allocated; 6ms 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.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 6 computations (25% saved)

series8.0ms (0.6%)

Memory

10.2MiB live, 10.2MiB allocated; 0ms 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
2.0ms	b	@	-inf	((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a) a b)
2.0ms	a	@	inf	((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a) a b)
1.0ms	a	@	0	((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	@	inf	((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a) a b)

rewrite44.0ms (3.3%)

Memory

-10.8MiB live, 42.1MiB allocated; 10ms 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)

eval7.0ms (0.5%)

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

prune30.0ms (2.2%)

Memory

-2.9MiB live, 42.8MiB allocated; 5ms 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

100.0%

Counts

79 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	73.6%	(.f64 (.f64 b b) (.f64 #s(literal -1 binary64) (.f64 a a)))
▶	91.5%	(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
▶	99.7%	(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
▶	92.9%	(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
▶	79.4%	(neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a)))
✓	80.5%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 94 to 72 computations (23.4% saved)

series17.0ms (1.2%)

Memory

-28.0MiB live, 18.2MiB allocated; 5ms 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
5.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	@	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	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	@	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))

rewrite55.0ms (4.1%)

Memory

9.5MiB live, 55.0MiB allocated; 5ms 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))

eval40.0ms (2.9%)

Memory: -18.5MiB live, 37.3MiB allocated; 27ms collecting garbage
Compiler: Compiled 2 937 to 659 computations (77.6% saved)

prune82.0ms (6.1%)

Memory

0.7MiB live, 95.3MiB allocated; 6ms 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
✓	73.6%	(.f64 (.f64 b b) (.f64 #s(literal -1 binary64) (.f64 a a)))
▶	91.3%	(.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)))
✓	91.5%	(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
✓	99.7%	(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
✓	92.9%	(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
✓	79.4%	(neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a)))
✓	80.5%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 67 to 48 computations (28.4% saved)

series14.0ms (1%)

Memory

17.7MiB live, 17.7MiB 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))

rewrite31.0ms (2.3%)

Memory

-10.8MiB live, 29.9MiB allocated; 9ms 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.4%)

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

prune27.0ms (2%)

Memory

-18.4MiB live, 32.0MiB allocated; 10ms collecting garbage

Pruning

7 alts after pruning (2 fresh and 5 done)

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

Accuracy

100.0%

Counts

64 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	73.6%	(.f64 (.f64 b b) (.f64 #s(literal -1 binary64) (.f64 a a)))
▶	92.8%	(.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))
▶	91.4%	(.f64 a (.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))))
✓	91.5%	(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
✓	99.7%	(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
✓	92.9%	(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
✓	80.5%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 71 to 53 computations (25.4% saved)

series18.0ms (1.3%)

Memory

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

Counts

14 → 18

Calls

Call 1

Inputs
(.f64 a (.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))))
a
(.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)))
(pow.f64 (*.f64 b a) #s(literal 1/2 binary64))
(*.f64 b a)
b
#s(literal 1/2 binary64)
(.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) (*.f64 #s(literal -1 binary64) b))
(*.f64 #s(literal -1 binary64) b)
#s(literal -1 binary64)
(.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 a (pow.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (*.f64 b a) #s(literal 1/2 binary64)) #s(literal 2 binary64))
#s(literal 2 binary64)

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

Calls

6 calls:

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

rewrite26.0ms (1.9%)

Memory

-4.0MiB live, 43.0MiB allocated; 1ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	393
0	84	276
0	211	276

Stop Event

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

Counts

32 → 59

Calls

Call 1

Inputs
(.f64 a (.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))))
a
(.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)))
(pow.f64 (*.f64 b a) #s(literal 1/2 binary64))
(*.f64 b a)
b
#s(literal 1/2 binary64)
(.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) (*.f64 #s(literal -1 binary64) b))
(*.f64 #s(literal -1 binary64) b)
#s(literal -1 binary64)
(.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 a (pow.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (*.f64 b a) #s(literal 1/2 binary64)) #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (* a (* (pow (* b a) 1/2) (* (pow (* b a) 1/2) (* -1 b)))) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx a #s(hole binary64 a))
#s(approx (* (pow (* b a) 1/2) (* (pow (* b a) 1/2) (* -1 b))) #s(hole binary64 (* -1 (* a (pow b 2)))))
#s(approx (pow (* b a) 1/2) #s(hole binary64 (sqrt (* a b))))
#s(approx (* b a) #s(hole binary64 (* a b)))
#s(approx (* (pow (* b a) 1/2) (* -1 b)) #s(hole binary64 (* -1 (sqrt (* a (pow b 3))))))
#s(approx (* (* a (pow (pow (* b a) 1/2) 2)) (* -1 b)) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (* a (pow (pow (* b a) 1/2) 2)) #s(hole binary64 (* (pow a 2) b)))
#s(approx (pow (pow (* b a) 1/2) 2) #s(hole binary64 (* a b)))
#s(approx (* a (* (pow (* b a) 1/2) (* (pow (* b a) 1/2) (* -1 b)))) #s(hole binary64 (* (pow a 2) (* (pow b 2) (pow (sqrt -1) 2)))))
#s(approx (* (pow (* b a) 1/2) (* (pow (* b a) 1/2) (* -1 b))) #s(hole binary64 (* a (* (pow b 2) (pow (sqrt -1) 2)))))
#s(approx (pow (* b a) 1/2) #s(hole binary64 (* -1 (* (sqrt (* a b)) (pow (sqrt -1) 2)))))
#s(approx (* (pow (* b a) 1/2) (* -1 b)) #s(hole binary64 (* (sqrt (* a (pow b 3))) (pow (sqrt -1) 2))))
#s(approx (* (* a (pow (pow (* b a) 1/2) 2)) (* -1 b)) #s(hole binary64 (* (pow a 2) (* (pow b 2) (pow (sqrt -1) 2)))))
#s(approx (* a (pow (pow (* b a) 1/2) 2)) #s(hole binary64 (* -1 (* (pow a 2) (* b (pow (sqrt -1) 2))))))
#s(approx (pow (pow (* b a) 1/2) 2) #s(hole binary64 (* -1 (* a (* b (pow (sqrt -1) 2))))))
#s(approx b #s(hole binary64 b))
#s(approx (* -1 b) #s(hole binary64 (* -1 b)))

Outputs
(.f64 (.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) a) #s(literal -1 binary64)) b)
(.f64 (.f64 a (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (.f64 b a) #s(literal 1/4 binary64)))) (.f64 (.f64 #s(literal -1 binary64) b) (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (.f64 b a) #s(literal 1/4 binary64)))))
(.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) a) (.f64 #s(literal -1 binary64) b))
(.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) b)) a)
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) a))
(.f64 a (.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) b)))
a
(.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) (*.f64 #s(literal -1 binary64) b))
(.f64 (.f64 (.f64 #s(literal -1 binary64) b) (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (.f64 b a) #s(literal 1/4 binary64)))) (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (*.f64 b a) #s(literal 1/4 binary64))))
(.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (.f64 b a) #s(literal 1/4 binary64))) (.f64 (.f64 #s(literal -1 binary64) b) (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (*.f64 b a) #s(literal 1/4 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 b #s(literal 1/2 binary64)) (pow.f64 a #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 (.f64 #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)))) b)
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (*.f64 b a) #s(literal 1/4 binary64))))
(.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (.f64 b a) #s(literal 1/4 binary64))) (*.f64 #s(literal -1 binary64) b))
(*.f64 #s(literal -1 binary64) b)
(*.f64 b #s(literal -1 binary64))
(neg.f64 b)
#s(literal -1 binary64)
(.f64 (.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) a) #s(literal -1 binary64)) b)
(.f64 (.f64 a (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (.f64 b a) #s(literal 1/4 binary64)))) (.f64 (.f64 #s(literal -1 binary64) b) (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (.f64 b a) #s(literal 1/4 binary64)))))
(.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) a) (.f64 #s(literal -1 binary64) b))
(.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) b)) a)
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) a))
(.f64 a (.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) b)))
(.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) a)
(.f64 a (pow.f64 (.f64 b a) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (.f64 b a) #s(literal 1/4 binary64))) #s(literal 1 binary64)) (pow.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (*.f64 b a) #s(literal 1/4 binary64))) #s(literal 1 binary64)))
(.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (.f64 b a) #s(literal 1/4 binary64))) (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (*.f64 b a) #s(literal 1/4 binary64))))
(pow.f64 (*.f64 b a) #s(literal 1 binary64))
(pow.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (*.f64 b a) #s(literal 1/4 binary64))) #s(literal 2 binary64))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (.f64 b a) #s(literal 1/4 binary64)))) #s(literal 2 binary64)))
#s(literal 2 binary64)
#s(approx (* (* a (pow (pow (* b a) 1/2) 2)) (* -1 b)) (.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64)))
#s(approx a a)
#s(approx (* (pow (* b a) 1/2) (* (pow (* b a) 1/2) (* -1 b))) (.f64 (.f64 (*.f64 b b) #s(literal -1 binary64)) a))
#s(approx (pow (* b a) 1/2) (.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (*.f64 b a) #s(literal 1/4 binary64))))
#s(approx (* b a) (*.f64 b a))
#s(approx (* (pow (* b a) 1/2) (* -1 b)) (.f64 (pow.f64 (.f64 (.f64 (.f64 b b) b) a) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
#s(approx (* (* a (pow (pow (* b a) 1/2) 2)) (* -1 b)) (.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64)))
#s(approx (* a (pow (pow (* b a) 1/2) 2)) (.f64 (.f64 a a) b))
#s(approx (pow (pow (* b a) 1/2) 2) (*.f64 b a))
#s(approx (* (* a (pow (pow (* b a) 1/2) 2)) (* -1 b)) (.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64)))
#s(approx (* (pow (* b a) 1/2) (* (pow (* b a) 1/2) (* -1 b))) (.f64 (.f64 (*.f64 b b) #s(literal -1 binary64)) a))
#s(approx (pow (* b a) 1/2) (.f64 (.f64 #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)))) #s(literal -1 binary64)))
#s(approx (* (pow (* b a) 1/2) (* -1 b)) (.f64 (pow.f64 (.f64 (.f64 (.f64 b b) b) a) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
#s(approx (* (* a (pow (pow (* b a) 1/2) 2)) (* -1 b)) (.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64)))
#s(approx (* a (pow (pow (* b a) 1/2) 2)) (.f64 (.f64 (.f64 (.f64 a a) b) #s(literal -1 binary64)) #s(literal -1 binary64)))
#s(approx (pow (pow (* b a) 1/2) 2) (.f64 (.f64 (*.f64 #s(literal -1 binary64) b) a) #s(literal -1 binary64)))
#s(approx b b)
#s(approx (* -1 b) (*.f64 #s(literal -1 binary64) b))

eval12.0ms (0.9%)

Memory: -22.3MiB live, 24.0MiB allocated; 2ms collecting garbage
Compiler: Compiled 1 696 to 230 computations (86.4% saved)

prune28.0ms (2.1%)

Memory

1.8MiB live, 48.3MiB allocated; 2ms collecting garbage

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	0	0
Picked	0	2	2
Done	0	5	5
Total	93	7	100

Accuracy

100.0%

Counts

100 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	73.6%	(.f64 (.f64 b b) (.f64 #s(literal -1 binary64) (.f64 a a)))
✓	92.8%	(.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))
✓	91.4%	(.f64 a (.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))))
✓	91.5%	(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
✓	99.7%	(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
✓	92.9%	(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
✓	80.5%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 168 to 92 computations (45.2% saved)

regimes13.0ms (1%)

Memory

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

Counts

9 → 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 a (.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))))
(.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 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:

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

Results

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

Compiler

Compiled 20 to 18 computations (10% saved)

regimes15.0ms (1.1%)

Memory

-26.7MiB live, 15.8MiB allocated; 12ms 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:

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

Results

Accuracy	Segments	Branch
92.9%	1	`(*.f64 a a)`
92.9%	1	`(.f64 (.f64 (*.f64 a a) b) b)`
92.9%	1	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
92.9%	1	`a`
96.2%	2	`b`

Compiler

Compiled 20 to 18 computations (10% saved)

regimes6.0ms (0.5%)

Memory

10.6MiB live, 10.5MiB 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 b b) (neg.f64 a)) (neg.f64 a)))
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

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
85.8%	2	`(*.f64 a a)`
85.8%	2	`(.f64 (.f64 (*.f64 a a) b) b)`
85.8%	2	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
85.8%	2	`a`
85.8%	2	`b`

Compiler

Compiled 20 to 18 computations (10% saved)

regimes5.0ms (0.4%)

Memory

9.5MiB live, 9.5MiB 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	(.f64 (.f64 (*.f64 a a) b) b)
1.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Results

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

Compiler

Compiled 20 to 18 computations (10% saved)

bsearch5.0ms (0.3%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
4.0ms	1.4581780662767982e+152	1.9334029657217816e+152

Samples

2.0ms

48×

valid

Compiler

Compiled 71 to 59 computations (16.9% saved)

Precisions

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

ival-mult: 1.0ms (90.4% 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.7MiB live, 0.7MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.1394761225848595e-279	2.311261585334381e-270

Compiler

Compiled 11 to 11 computations (0% saved)

simplify44.0ms (3.3%)

Memory

-20.0MiB live, 24.0MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	66
1	62	60
2	130	60
3	195	60
4	293	60
5	665	60
6	3776	60

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 190000000000000001810053704980152851328821361825794578339631519084164473429875424620291331887566443819346271803800182739426648189925931251673853182607360 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 (.f64 (.f64 (.f64 a a) b) b) #s(literal 5109351192408883/2554675596204441358920157072687153364566337613357385653123260470319631221592274004204746195830573697394358331960566393912284720625143799885746139901804584218009607261377389665942448283448784623593796296633016222711463437382554714097777734743613496521609114760800967733302218873894840332707692544 binary64)) (neg.f64 (.f64 (.f64 (.f64 b b) (neg.f64 a)) (neg.f64 a))) (neg.f64 (.f64 (.f64 (*.f64 a a) b) b)))
(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 190000000000000001810053704980152851328821361825794578339631519084164473429875424620291331887566443819346271803800182739426648189925931251673853182607360 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 190000000000000001810053704980152851328821361825794578339631519084164473429875424620291331887566443819346271803800182739426648189925931251673853182607360 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 (.f64 (.f64 (.f64 a a) b) b) #s(literal 5109351192408883/2554675596204441358920157072687153364566337613357385653123260470319631221592274004204746195830573697394358331960566393912284720625143799885746139901804584218009607261377389665942448283448784623593796296633016222711463437382554714097777734743613496521609114760800967733302218873894840332707692544 binary64)) (neg.f64 (.f64 (.f64 (.f64 b b) (neg.f64 a)) (neg.f64 a))) (neg.f64 (.f64 (.f64 (*.f64 a a) b) b)))
(if (<=.f64 (.f64 (.f64 (.f64 a a) b) b) #s(literal 5109351192408883/2554675596204441358920157072687153364566337613357385653123260470319631221592274004204746195830573697394358331960566393912284720625143799885746139901804584218009607261377389665942448283448784623593796296633016222711463437382554714097777734743613496521609114760800967733302218873894840332707692544 binary64)) (.f64 (.f64 (.f64 b b) a) (.f64 #s(literal -1 binary64) a)) (.f64 #s(literal -1 binary64) (.f64 (.f64 (*.f64 a a) b) b)))
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 #s(literal -1 binary64) (.f64 (.f64 (.f64 a a) b) b))

derivations4.0ms (0.3%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 66 to 24 computations (63.6% saved)

preprocess41.0ms (3%)

Memory

1.4MiB live, 93.9MiB allocated; 5ms collecting garbage

Remove

(sort a b)

(abs b)

(abs a)

Compiler

Compiled 274 to 186 computations (32.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%)

sample677.0ms (50%)

explain69.0ms (5.1%)

preprocess29.0ms (2.1%)

eval0.0ms (0%)

prune0.0ms (0%)

series8.0ms (0.6%)

rewrite44.0ms (3.3%)

eval7.0ms (0.5%)

prune30.0ms (2.2%)

series17.0ms (1.2%)

rewrite55.0ms (4.1%)

eval40.0ms (2.9%)

prune82.0ms (6.1%)

series14.0ms (1%)

rewrite31.0ms (2.3%)

eval6.0ms (0.4%)

prune27.0ms (2%)

series18.0ms (1.3%)

rewrite26.0ms (1.9%)

eval12.0ms (0.9%)

prune28.0ms (2.1%)

regimes13.0ms (1%)

regimes15.0ms (1.1%)

regimes6.0ms (0.5%)

regimes5.0ms (0.4%)

bsearch5.0ms (0.3%)

bsearch0.0ms (0%)

simplify44.0ms (3.3%)

derivations4.0ms (0.3%)

preprocess41.0ms (3%)

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