Metrics for ab-angle->ABCF D

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

sample671.0ms (41.4%)

Memory

4.4MiB live, 1 477.1MiB allocated; 167ms collecting garbage

Samples

460.0ms

8 256×

valid

Precisions

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

ival-mult: 190.0ms (79.8% of total)

ival-neg: 44.0ms (18.5% of total)

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

adjust: 2.0ms (0.8% of total)

Bogosity

explain68.0ms (4.2%)

Memory

-4.2MiB live, 194.8MiB allocated; 5ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
38	2	(2.5235352714449863e-274 1.3616569468144087e+224)	1	(-2.165180387453397e-157 2.1657411720170377e+238)	`(.f64 (.f64 a a) b)`
21	1	(4.824250106104489e-272 3.5480996160649956e+109)	3	(1.6674203904962904e-184 -1.317347458720206e+51)	`(.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**	22
`*.f64`	`(.f64 (.f64 a a) b)`	*no**	17
`*.f64`	`(.f64 (.f64 (*.f64 a a) b) b)`	*no**	10
`*.f64`	`(.f64 (.f64 (*.f64 a a) b) b)`	*nu**	9

Confusion

	Predicted +	Predicted -
+	57	1
-	1	197

Precision

0.9827586206896551

Recall

0.9827586206896551

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	57	0	1
-	1	0	197

Precision?

0.9827586206896551

Recall?

0.9827586206896551

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

28.0ms

512×

valid

Compiler

Compiled 62 to 22 computations (64.5% saved)

Precisions

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

ival-mult: 10.0ms (74.4% of total)

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

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

adjust: 0.0ms (0% of total)

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

preprocess27.0ms (1.6%)

Memory

20.3MiB live, 67.7MiB allocated; 1ms 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)

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 6 computations (25% saved)

series11.0ms (0.7%)

Memory

-20.4MiB live, 28.6MiB allocated; 1ms 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	@	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	a	@	0	((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)

rewrite38.0ms (2.4%)

Memory

2.4MiB live, 97.7MiB allocated; 2ms 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 (neg.f64 (.f64 a a)) (*.f64 b b))
(.f64 (neg.f64 b) (.f64 b (*.f64 a a)))
(.f64 (.f64 (neg.f64 b) (*.f64 a a)) b)
(.f64 (.f64 b b) (neg.f64 (*.f64 a a)))
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 b a) #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #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 (neg.f64 b) (*.f64 a a)))
(.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 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(.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)) (neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64))))
#s(approx (* (* (* a a) b) b) (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
#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)

eval9.0ms (0.6%)

Memory: -20.3MiB live, 27.2MiB allocated; 2ms collecting garbage
Compiler: Compiled 730 to 227 computations (68.9% saved)

prune46.0ms (2.8%)

Memory

29.6MiB live, 125.7MiB allocated; 2ms 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
▶	99.6%	(.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64))
▶	75.3%	(.f64 (.f64 b b) (neg.f64 (*.f64 a a)))
▶	93.9%	(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
▶	94.0%	(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
▶	81.2%	(neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a)))
✓	81.6%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 94 to 72 computations (23.4% saved)

series14.0ms (0.9%)

Memory

-5.4MiB live, 42.3MiB allocated; 1ms collecting garbage

Counts

22 → 20

Calls

Call 1

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

Outputs
#s(approx (* (pow (* b a) 2) -1) #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) (neg (* a a))) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (neg (* 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
3.0ms	a	@	inf	((* (pow (* b a) 2) -1) (pow (* b a) 2) (* b a) b a 2 -1 (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) (neg (* a a))) (neg (* a a)) (* a a))
2.0ms	b	@	-inf	((* (pow (* b a) 2) -1) (pow (* b a) 2) (* b a) b a 2 -1 (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) (neg (* a a))) (neg (* a a)) (* a a))
2.0ms	a	@	0	((* (pow (* b a) 2) -1) (pow (* b a) 2) (* b a) b a 2 -1 (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) (neg (* a a))) (neg (* a a)) (* a a))
2.0ms	a	@	-inf	((* (pow (* b a) 2) -1) (pow (* b a) 2) (* b a) b a 2 -1 (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) (neg (* a a))) (neg (* a a)) (* a a))
2.0ms	b	@	inf	((* (pow (* b a) 2) -1) (pow (* b a) 2) (* b a) b a 2 -1 (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) (neg (* a a))) (neg (* a a)) (* a a))

rewrite51.0ms (3.2%)

Memory

5.6MiB live, 101.9MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	350
0	99	277
1	201	277
0	508	277

Stop Event

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

Counts

42 → 435

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64))
(pow.f64 (*.f64 b a) #s(literal 2 binary64))
(*.f64 b a)
b
a
#s(literal 2 binary64)
#s(literal -1 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) (neg.f64 (*.f64 a a)))
(neg.f64 (*.f64 a a))
(*.f64 a a)
#s(approx (* (pow (* b a) 2) -1) #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) (neg (* a a))) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (neg (* 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 b b) #s(literal -1 binary64)) (.f64 a a))
(.f64 (.f64 (*.f64 (neg.f64 a) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (*.f64 (neg.f64 a) a) (neg.f64 b)) (neg.f64 b))
(.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 a a))
(.f64 (neg.f64 (.f64 b b)) (*.f64 a a))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 b) (*.f64 a a)) b)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 (neg.f64 a) a)))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 (neg.f64 a) a)))
(.f64 (neg.f64 b) (.f64 (*.f64 a b) a))
(.f64 (.f64 (*.f64 b b) a) (neg.f64 a))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal -1 binary64))
(.f64 (neg.f64 a) (.f64 (*.f64 b b) a))
(.f64 (.f64 b b) (*.f64 (neg.f64 a) a))
(.f64 (.f64 a a) (.f64 (.f64 b b) #s(literal -1 binary64)))
(.f64 (.f64 a a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 (neg.f64 a) a) (*.f64 b b))
(.f64 (.f64 (*.f64 a b) a) (neg.f64 b))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 (neg.f64 b) a) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (.f64 (neg.f64 b) a) (*.f64 a b))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 a b) (*.f64 (neg.f64 b) a))
(.f64 a (.f64 (*.f64 (neg.f64 b) b) a))
(.f64 b (.f64 (neg.f64 b) (*.f64 a a)))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 b b) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (.f64 (neg.f64 b) a) #s(literal -1 binary64)) (.f64 a b))
(.f64 (.f64 (fabs.f64 b) (fabs.f64 a)) (*.f64 (fabs.f64 b) (fabs.f64 a)))
(.f64 (.f64 (fabs.f64 b) (neg.f64 a)) (*.f64 (fabs.f64 b) (neg.f64 a)))
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 (neg.f64 b) (fabs.f64 a)) (*.f64 (neg.f64 b) (fabs.f64 a)))
(.f64 (.f64 (neg.f64 b) (neg.f64 a)) (*.f64 (neg.f64 b) (neg.f64 a)))
(.f64 (.f64 b (fabs.f64 a)) (*.f64 b (fabs.f64 a)))
(.f64 (.f64 (fabs.f64 a) (fabs.f64 b)) (*.f64 (fabs.f64 a) (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 a) (neg.f64 b)) (*.f64 (fabs.f64 a) (neg.f64 b)))
(.f64 (.f64 (fabs.f64 a) b) (*.f64 (fabs.f64 a) b))
(.f64 (.f64 (neg.f64 a) (fabs.f64 b)) (*.f64 (neg.f64 a) (fabs.f64 b)))
(.f64 (.f64 (neg.f64 a) (neg.f64 b)) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 a (fabs.f64 b)) (*.f64 a (fabs.f64 b)))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (fabs.f64 (.f64 a b)) (fabs.f64 (*.f64 a b)))
(.f64 (fabs.f64 (.f64 (neg.f64 b) a)) (fabs.f64 (*.f64 (neg.f64 b) a)))
(.f64 (exp.f64 (log.f64 (.f64 a b))) (exp.f64 (log.f64 (*.f64 a b))))
(.f64 (.f64 (neg.f64 b) (*.f64 a a)) (neg.f64 b))
(.f64 #s(literal 1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) (*.f64 b b)))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 a a)))
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(.f64 (neg.f64 a) (.f64 (*.f64 (neg.f64 b) b) a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (neg.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64))) #s(literal -1 binary64))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) (neg.f64 a))
(.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64))))
(.f64 (.f64 a b) (.f64 #s(literal -1 binary64) (.f64 (neg.f64 b) a)))
(.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 (log.f64 (*.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 (neg.f64 b) a) #s(literal 2 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(neg.f64 (neg.f64 (pow.f64 (*.f64 a 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 (fma.f64 (log.f64 a) #s(literal 2 binary64) (*.f64 (log.f64 b) #s(literal 2 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 a b)) #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 (log.f64 (.f64 a b)) #s(literal 1 binary64)))
b
a
#s(literal 2 binary64)
#s(literal -1 binary64)
(.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) (.f64 a a))
(.f64 (.f64 (*.f64 (neg.f64 a) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (*.f64 (neg.f64 a) a) (neg.f64 b)) (neg.f64 b))
(.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 a a))
(.f64 (neg.f64 (.f64 b b)) (*.f64 a a))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 b) (*.f64 a a)) b)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 (neg.f64 a) a)))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 (neg.f64 a) a)))
(.f64 (neg.f64 b) (.f64 (*.f64 a b) a))
(.f64 (.f64 (*.f64 b b) a) (neg.f64 a))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal -1 binary64))
(.f64 (neg.f64 a) (.f64 (*.f64 b b) a))
(.f64 (.f64 b b) (*.f64 (neg.f64 a) a))
(.f64 (.f64 a a) (.f64 (.f64 b b) #s(literal -1 binary64)))
(.f64 (.f64 a a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 (neg.f64 a) a) (*.f64 b b))
(.f64 (.f64 (*.f64 a b) a) (neg.f64 b))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 (neg.f64 b) a) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (.f64 (neg.f64 b) a) (*.f64 a b))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 a b) (*.f64 (neg.f64 b) a))
(.f64 a (.f64 (*.f64 (neg.f64 b) b) a))
(.f64 b (.f64 (neg.f64 b) (*.f64 a a)))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 b b) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (.f64 (neg.f64 b) a) #s(literal -1 binary64)) (.f64 a b))
(.f64 (.f64 (fabs.f64 b) (fabs.f64 a)) (*.f64 (fabs.f64 b) (fabs.f64 a)))
(.f64 (.f64 (fabs.f64 b) (neg.f64 a)) (*.f64 (fabs.f64 b) (neg.f64 a)))
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 (neg.f64 b) (fabs.f64 a)) (*.f64 (neg.f64 b) (fabs.f64 a)))
(.f64 (.f64 (neg.f64 b) (neg.f64 a)) (*.f64 (neg.f64 b) (neg.f64 a)))
(.f64 (.f64 b (fabs.f64 a)) (*.f64 b (fabs.f64 a)))
(.f64 (.f64 (fabs.f64 a) (fabs.f64 b)) (*.f64 (fabs.f64 a) (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 a) (neg.f64 b)) (*.f64 (fabs.f64 a) (neg.f64 b)))
(.f64 (.f64 (fabs.f64 a) b) (*.f64 (fabs.f64 a) b))
(.f64 (.f64 (neg.f64 a) (fabs.f64 b)) (*.f64 (neg.f64 a) (fabs.f64 b)))
(.f64 (.f64 (neg.f64 a) (neg.f64 b)) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 a (fabs.f64 b)) (*.f64 a (fabs.f64 b)))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (fabs.f64 (.f64 a b)) (fabs.f64 (*.f64 a b)))
(.f64 (fabs.f64 (.f64 (neg.f64 b) a)) (fabs.f64 (*.f64 (neg.f64 b) a)))
(.f64 (exp.f64 (log.f64 (.f64 a b))) (exp.f64 (log.f64 (*.f64 a b))))
(.f64 (.f64 (neg.f64 b) (*.f64 a a)) (neg.f64 b))
(.f64 #s(literal 1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) (*.f64 b b)))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 a a)))
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(.f64 (neg.f64 a) (.f64 (*.f64 (neg.f64 b) b) a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (neg.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64))) #s(literal -1 binary64))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) (neg.f64 a))
(.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64))))
(.f64 (.f64 a b) (.f64 #s(literal -1 binary64) (.f64 (neg.f64 b) a)))
(.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 (log.f64 (*.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 (neg.f64 b) a) #s(literal 2 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(neg.f64 (neg.f64 (pow.f64 (*.f64 a 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 (fma.f64 (log.f64 a) #s(literal 2 binary64) (*.f64 (log.f64 b) #s(literal 2 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))))
(.f64 (.f64 (*.f64 b b) #s(literal -1 binary64)) a)
(.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) a)
(.f64 (.f64 (neg.f64 b) b) a)
(.f64 (neg.f64 (.f64 b b)) a)
(.f64 (.f64 (neg.f64 a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (neg.f64 a) (neg.f64 b)) (neg.f64 b))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (neg.f64 a)))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (neg.f64 a)))
(.f64 (neg.f64 b) (.f64 a b))
(.f64 (.f64 (*.f64 b b) a) #s(literal -1 binary64))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 (.f64 b b) (neg.f64 a))
(.f64 (.f64 (neg.f64 b) a) b)
(.f64 #s(literal -1 binary64) (.f64 (*.f64 b b) a))
(.f64 (.f64 a b) (neg.f64 b))
(.f64 a (.f64 (*.f64 b b) #s(literal -1 binary64)))
(.f64 a (.f64 #s(literal -1 binary64) (*.f64 b b)))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(.f64 b (.f64 (neg.f64 b) a))
(neg.f64 (.f64 (.f64 b b) a))
(.f64 (.f64 (neg.f64 b) #s(literal -1 binary64)) b)
(.f64 (.f64 (neg.f64 b) b) #s(literal -1 binary64))
(*.f64 (neg.f64 (fabs.f64 b)) (neg.f64 (fabs.f64 b)))
(*.f64 (neg.f64 (neg.f64 b)) (neg.f64 (neg.f64 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 (neg.f64 b) (neg.f64 b))
(.f64 (.f64 b b) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 b (neg.f64 b)))
(.f64 b (.f64 #s(literal -1 binary64) (neg.f64 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 (neg.f64 b) #s(literal 2 binary64))
(pow.f64 (*.f64 b b) #s(literal 1 binary64))
(pow.f64 b #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 b) b))
(neg.f64 (*.f64 b (neg.f64 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 b b) #s(literal -1 binary64)) (.f64 a a))
(.f64 (.f64 (*.f64 (neg.f64 a) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (*.f64 (neg.f64 a) a) (neg.f64 b)) (neg.f64 b))
(.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 a a))
(.f64 (neg.f64 (.f64 b b)) (*.f64 a a))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 b) (*.f64 a a)) b)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 (neg.f64 a) a)))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 (neg.f64 a) a)))
(.f64 (neg.f64 b) (.f64 (*.f64 a b) a))
(.f64 (.f64 (*.f64 b b) a) (neg.f64 a))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal -1 binary64))
(.f64 (neg.f64 a) (.f64 (*.f64 b b) a))
(.f64 (.f64 b b) (*.f64 (neg.f64 a) a))
(.f64 (.f64 a a) (.f64 (.f64 b b) #s(literal -1 binary64)))
(.f64 (.f64 a a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 (neg.f64 a) a) (*.f64 b b))
(.f64 (.f64 (*.f64 a b) a) (neg.f64 b))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 (neg.f64 b) a) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (.f64 (neg.f64 b) a) (*.f64 a b))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 a b) (*.f64 (neg.f64 b) a))
(.f64 a (.f64 (*.f64 (neg.f64 b) b) a))
(.f64 b (.f64 (neg.f64 b) (*.f64 a a)))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 b b) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (.f64 (neg.f64 b) a) #s(literal -1 binary64)) (.f64 a b))
(.f64 (.f64 (fabs.f64 b) (fabs.f64 a)) (*.f64 (fabs.f64 b) (fabs.f64 a)))
(.f64 (.f64 (fabs.f64 b) (neg.f64 a)) (*.f64 (fabs.f64 b) (neg.f64 a)))
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 (neg.f64 b) (fabs.f64 a)) (*.f64 (neg.f64 b) (fabs.f64 a)))
(.f64 (.f64 (neg.f64 b) (neg.f64 a)) (*.f64 (neg.f64 b) (neg.f64 a)))
(.f64 (.f64 b (fabs.f64 a)) (*.f64 b (fabs.f64 a)))
(.f64 (.f64 (fabs.f64 a) (fabs.f64 b)) (*.f64 (fabs.f64 a) (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 a) (neg.f64 b)) (*.f64 (fabs.f64 a) (neg.f64 b)))
(.f64 (.f64 (fabs.f64 a) b) (*.f64 (fabs.f64 a) b))
(.f64 (.f64 (neg.f64 a) (fabs.f64 b)) (*.f64 (neg.f64 a) (fabs.f64 b)))
(.f64 (.f64 (neg.f64 a) (neg.f64 b)) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 a (fabs.f64 b)) (*.f64 a (fabs.f64 b)))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (fabs.f64 (.f64 a b)) (fabs.f64 (*.f64 a b)))
(.f64 (fabs.f64 (.f64 (neg.f64 b) a)) (fabs.f64 (*.f64 (neg.f64 b) a)))
(.f64 (exp.f64 (log.f64 (.f64 a b))) (exp.f64 (log.f64 (*.f64 a b))))
(.f64 (.f64 (neg.f64 b) (*.f64 a a)) (neg.f64 b))
(.f64 #s(literal 1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) (*.f64 b b)))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 a a)))
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(.f64 (neg.f64 a) (.f64 (*.f64 (neg.f64 b) b) a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (neg.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64))) #s(literal -1 binary64))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) (neg.f64 a))
(.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64))))
(.f64 (.f64 a b) (.f64 #s(literal -1 binary64) (.f64 (neg.f64 b) a)))
(.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 (log.f64 (*.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 (neg.f64 b) a) #s(literal 2 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(neg.f64 (neg.f64 (pow.f64 (*.f64 a 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 (fma.f64 (log.f64 a) #s(literal 2 binary64) (*.f64 (log.f64 b) #s(literal 2 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))))
(.f64 (.f64 (*.f64 (neg.f64 b) a) #s(literal -1 binary64)) a)
(.f64 (.f64 b (fabs.f64 a)) (fabs.f64 a))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) a)
(.f64 (.f64 (neg.f64 b) (*.f64 a a)) #s(literal -1 binary64))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) b))
(.f64 (neg.f64 a) (.f64 (neg.f64 b) a))
(.f64 (.f64 a a) b)
(.f64 (.f64 (neg.f64 b) a) (neg.f64 a))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 b) (*.f64 a a)))
(.f64 (.f64 a b) a)
(.f64 a (.f64 #s(literal -1 binary64) (*.f64 (neg.f64 b) a)))
(.f64 a (.f64 a b))
(.f64 b (.f64 a a))
(neg.f64 (.f64 (neg.f64 b) (.f64 a a)))
(*.f64 (neg.f64 b) a)
(*.f64 (neg.f64 a) b)
(.f64 #s(literal -1 binary64) (.f64 a b))
(.f64 (.f64 a b) #s(literal -1 binary64))
(*.f64 a (neg.f64 b))
(*.f64 b (neg.f64 a))
(neg.f64 (*.f64 a b))
(.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) (.f64 a a))
(.f64 (.f64 (*.f64 (neg.f64 a) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (*.f64 (neg.f64 a) a) (neg.f64 b)) (neg.f64 b))
(.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 a a))
(.f64 (neg.f64 (.f64 b b)) (*.f64 a a))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 b) (*.f64 a a)) b)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 (neg.f64 a) a)))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 (neg.f64 a) a)))
(.f64 (neg.f64 b) (.f64 (*.f64 a b) a))
(.f64 (.f64 (*.f64 b b) a) (neg.f64 a))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal -1 binary64))
(.f64 (neg.f64 a) (.f64 (*.f64 b b) a))
(.f64 (.f64 b b) (*.f64 (neg.f64 a) a))
(.f64 (.f64 a a) (.f64 (.f64 b b) #s(literal -1 binary64)))
(.f64 (.f64 a a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 (neg.f64 a) a) (*.f64 b b))
(.f64 (.f64 (*.f64 a b) a) (neg.f64 b))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 (neg.f64 b) a) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (.f64 (neg.f64 b) a) (*.f64 a b))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 a b) (*.f64 (neg.f64 b) a))
(.f64 a (.f64 (*.f64 (neg.f64 b) b) a))
(.f64 b (.f64 (neg.f64 b) (*.f64 a a)))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 b b) #s(literal -1 binary64)) a)
(.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) a)
(.f64 (.f64 (neg.f64 b) b) a)
(.f64 (neg.f64 (.f64 b b)) a)
(.f64 (.f64 (neg.f64 a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (neg.f64 a) (neg.f64 b)) (neg.f64 b))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (neg.f64 a)))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (neg.f64 a)))
(.f64 (neg.f64 b) (.f64 a b))
(.f64 (.f64 (*.f64 b b) a) #s(literal -1 binary64))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 (.f64 b b) (neg.f64 a))
(.f64 (.f64 (neg.f64 b) a) b)
(.f64 #s(literal -1 binary64) (.f64 (*.f64 b b) a))
(.f64 (.f64 a b) (neg.f64 b))
(.f64 a (.f64 (*.f64 b b) #s(literal -1 binary64)))
(.f64 a (.f64 #s(literal -1 binary64) (*.f64 b b)))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(.f64 b (.f64 (neg.f64 b) a))
(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 b b) #s(literal -1 binary64)) (.f64 a a))
(.f64 (.f64 (*.f64 (neg.f64 a) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (*.f64 (neg.f64 a) a) (neg.f64 b)) (neg.f64 b))
(.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 a a))
(.f64 (neg.f64 (.f64 b b)) (*.f64 a a))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 b) (*.f64 a a)) b)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 (neg.f64 a) a)))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 (neg.f64 a) a)))
(.f64 (neg.f64 b) (.f64 (*.f64 a b) a))
(.f64 (.f64 (*.f64 b b) a) (neg.f64 a))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal -1 binary64))
(.f64 (neg.f64 a) (.f64 (*.f64 b b) a))
(.f64 (.f64 b b) (*.f64 (neg.f64 a) a))
(.f64 (.f64 a a) (.f64 (.f64 b b) #s(literal -1 binary64)))
(.f64 (.f64 a a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 (neg.f64 a) a) (*.f64 b b))
(.f64 (.f64 (*.f64 a b) a) (neg.f64 b))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 (neg.f64 b) a) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (.f64 (neg.f64 b) a) (*.f64 a b))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 a b) (*.f64 (neg.f64 b) a))
(.f64 a (.f64 (*.f64 (neg.f64 b) b) a))
(.f64 b (.f64 (neg.f64 b) (*.f64 a a)))
(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 (neg.f64 a) a)
(.f64 (.f64 a a) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 a a))
(*.f64 a (neg.f64 a))
(neg.f64 (*.f64 a 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 #s(literal 1 binary64) (.f64 a a))
(*.f64 (fabs.f64 a) (fabs.f64 a))
(*.f64 (neg.f64 a) (neg.f64 a))
(.f64 (.f64 a a) #s(literal 1 binary64))
(.f64 (.f64 (neg.f64 a) a) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 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 (neg.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))
(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) (neg (* a a))) (neg.f64 (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) (neg (* a a))) (neg.f64 (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 (neg.f64 b) b) a))
#s(approx (neg a) (neg.f64 a))
#s(approx (* (* b b) (neg (* a a))) (neg.f64 (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 (neg.f64 b) a))
#s(approx (* (* b b) (neg (* a a))) (neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64))))
#s(approx (* (* b a) (neg b)) (.f64 (.f64 (neg.f64 b) b) a))
#s(approx (* (* b b) (neg (* a a))) (neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64))))
#s(approx (neg (* a a)) (*.f64 (neg.f64 a) a))
#s(approx (* a a) (*.f64 a a))
#s(approx b b)
#s(approx (* b b) (*.f64 b b))
#s(approx (neg b) (neg.f64 b))

eval28.0ms (1.7%)

Memory: -18.6MiB live, 76.0MiB allocated; 3ms collecting garbage
Compiler: Compiled 2 835 to 664 computations (76.6% saved)

prune432.0ms (26.6%)

Memory

-7.4MiB live, 1 054.7MiB allocated; 66ms collecting garbage

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	270	1	271
Fresh	0	0	0
Picked	1	4	5
Done	0	1	1
Total	271	6	277

Accuracy

99.9%

Counts

277 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64))
▶	93.8%	(.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)))
✓	93.9%	(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
✓	94.0%	(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
✓	81.2%	(neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a)))
✓	81.6%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 59 to 42 computations (28.8% saved)

series16.0ms (1%)

Memory

33.6MiB live, 33.6MiB 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
5.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	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	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	@	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.5%)

Memory

-44.7MiB live, 50.6MiB allocated; 2ms 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 (*.f64 b a) #s(literal 1 binary64))) (neg.f64 b))
(.f64 (.f64 (neg.f64 b) (pow.f64 (*.f64 b a) #s(literal 1 binary64))) a)
(.f64 a (.f64 (neg.f64 b) (pow.f64 (*.f64 b a) #s(literal 1 binary64))))
a
(.f64 (neg.f64 b) (pow.f64 (.f64 b a) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) (neg.f64 b))
(.f64 (sqrt.f64 (.f64 b a)) (.f64 (sqrt.f64 (.f64 b a)) (neg.f64 b)))
(neg.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 1 binary64)) b))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (neg.f64 (sqrt.f64 (*.f64 b a))))
(.f64 (fabs.f64 (sqrt.f64 (.f64 b a))) (fabs.f64 (sqrt.f64 (*.f64 b a))))
(.f64 (sqrt.f64 (.f64 b a)) (sqrt.f64 (*.f64 b a)))
(pow.f64 (.f64 (.f64 b a) (*.f64 b a)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (*.f64 b a)) #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))) (neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64))))
#s(approx a a)
#s(approx (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) (neg.f64 (.f64 (.f64 b b) a)))
#s(approx (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (*.f64 b a))
#s(approx (pow (* a b) 1/2) (sqrt.f64 (*.f64 b a)))
#s(approx (* a b) (*.f64 b a))
#s(approx (* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) (neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64))))
#s(approx (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) (neg.f64 (.f64 (.f64 b b) a)))
#s(approx (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg.f64 (*.f64 (neg.f64 b) a)))
#s(approx (pow (* a b) 1/2) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 b a)))))
#s(approx b b)
#s(approx (neg b) (neg.f64 b))

eval8.0ms (0.5%)

Memory: 19.0MiB live, 19.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 952 to 173 computations (81.8% saved)

prune32.0ms (2%)

Memory

-18.7MiB live, 77.4MiB allocated; 2ms collecting garbage

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	57	6	63

Accuracy

99.9%

Counts

63 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64))
✓	93.8%	(.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)))
✓	93.9%	(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
✓	94.0%	(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
✓	81.2%	(neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a)))
✓	81.6%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 126 to 73 computations (42.1% saved)

regimes12.0ms (0.7%)

Memory

36.7MiB live, 36.7MiB 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))
(.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) (neg.f64 (*.f64 a a)))
(.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64))

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

Calls

5 calls:

3.0ms	b
3.0ms	a
2.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
2.0ms	(.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)

regimes11.0ms (0.7%)

Memory

-15.2MiB live, 32.5MiB allocated; 1ms collecting garbage

Counts

6 → 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))
(.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) (neg.f64 (*.f64 a a)))

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
97.1%	2	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
98.3%	2	`b`
97.1%	2	`(*.f64 a a)`
97.1%	2	`(.f64 (.f64 (*.f64 a a) b) b)`
98.6%	2	`a`

Compiler

Compiled 20 to 18 computations (10% saved)

regimes8.0ms (0.5%)

Memory

24.8MiB live, 24.8MiB allocated; 0ms 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	a
2.0ms	b
1.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
1.0ms	(.f64 (.f64 (*.f64 a a) b) b)
1.0ms	(*.f64 a a)

Results

Accuracy	Segments	Branch
94.0%	1	`(*.f64 a a)`
94.0%	1	`(.f64 (.f64 (*.f64 a a) b) b)`
94.0%	1	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
96.0%	2	`b`
94.0%	1	`a`

Compiler

Compiled 20 to 18 computations (10% saved)

regimes7.0ms (0.4%)

Memory

-26.8MiB live, 21.0MiB 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:

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

Compiler

Compiled 20 to 18 computations (10% saved)

regimes5.0ms (0.3%)

Memory

18.6MiB live, 18.6MiB 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
81.6%	1	`(*.f64 a a)`
81.6%	1	`a`
81.6%	1	`(.f64 (.f64 (*.f64 a a) b) b)`
81.6%	1	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
81.6%	1	`b`

Compiler

Compiled 20 to 18 computations (10% saved)

bsearch5.0ms (0.3%)

Memory

-36.0MiB live, 11.8MiB allocated; 1ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
4.0ms	2.0560378763484583e-236	2.584964430609794e-236

Samples

3.0ms

48×

valid

Compiler

Compiled 65 to 56 computations (13.8% saved)

Precisions

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

ival-mult: 1.0ms (61% 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)

bsearch11.0ms (0.7%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
10.0ms	1.191996883606755e+149	1.663255082047698e+153

Samples

6.0ms

128×

valid

Compiler

Compiled 171 to 139 computations (18.7% saved)

Precisions

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

ival-mult: 2.0ms (67.4% of total)

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

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

adjust: 0.0ms (0% of total)

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

bsearch8.0ms (0.5%)

Memory

-28.7MiB live, 19.6MiB allocated; 1ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
7.0ms	4.459777474213579e+148	1.191996883606755e+149

Samples

4.0ms

80×

valid

Compiler

Compiled 101 to 86 computations (14.9% saved)

Precisions

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

ival-mult: 1.0ms (53.5% 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)

simplify41.0ms (2.5%)

Memory

14.1MiB live, 61.8MiB allocated; 1ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	32	83
1	69	75
2	140	75
3	212	75
4	321	75
5	702	75
6	3837	75

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64))
(if (<=.f64 a #s(literal 1460584099842223/57277807836949922408837567867349676981443478344341305058882899404622128010705808318690568531649256750858719018437999440148793721514146753400890052083129159241025748615958424204533602522957957552490080016463490494951861107213475167230717574212948590592 binary64)) (.f64 a (.f64 (.f64 b a) (neg.f64 b))) (neg.f64 (.f64 (.f64 (.f64 b (neg.f64 a)) (neg.f64 a)) b)))
(if (<=.f64 b #s(literal 1649999999999999971649507943851899081917605158646046413191808059847196456402775558223768939727055555706318127651126454000366950574691667215490773629796352 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 114999999999999991436254722243737785609325482593446985611122047153688485440383794211680529898633603371539043185179041968993144663259909535619073703936 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
(.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64))
(if (<=.f64 a #s(literal 1460584099842223/57277807836949922408837567867349676981443478344341305058882899404622128010705808318690568531649256750858719018437999440148793721514146753400890052083129159241025748615958424204533602522957957552490080016463490494951861107213475167230717574212948590592 binary64)) (.f64 a (.f64 (.f64 b a) (neg.f64 b))) (neg.f64 (.f64 (.f64 (.f64 b (neg.f64 a)) (neg.f64 a)) b)))
(if (<=.f64 a #s(literal 1460584099842223/57277807836949922408837567867349676981443478344341305058882899404622128010705808318690568531649256750858719018437999440148793721514146753400890052083129159241025748615958424204533602522957957552490080016463490494951861107213475167230717574212948590592 binary64)) (.f64 (neg.f64 a) (.f64 (.f64 b a) b)) (.f64 (.f64 (.f64 (neg.f64 b) a) a) b))
(if (<=.f64 b #s(literal 1649999999999999971649507943851899081917605158646046413191808059847196456402775558223768939727055555706318127651126454000366950574691667215490773629796352 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 1649999999999999971649507943851899081917605158646046413191808059847196456402775558223768939727055555706318127651126454000366950574691667215490773629796352 binary64)) (.f64 (.f64 (.f64 b b) a) (neg.f64 a)) (.f64 (.f64 (.f64 (neg.f64 b) a) a) b))
(if (<=.f64 b #s(literal 114999999999999991436254722243737785609325482593446985611122047153688485440383794211680529898633603371539043185179041968993144663259909535619073703936 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 b #s(literal 114999999999999991436254722243737785609325482593446985611122047153688485440383794211680529898633603371539043185179041968993144663259909535619073703936 binary64)) (.f64 (.f64 (.f64 b b) a) (neg.f64 a)) (.f64 (.f64 (.f64 a a) b) (neg.f64 b)))
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 (.f64 (*.f64 a a) b) (neg.f64 b))

derivations6.0ms (0.4%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 75 to 29 computations (61.3% saved)

preprocess32.0ms (2%)

Memory

-5.9MiB live, 89.3MiB allocated; 2ms collecting garbage

Remove

(sort a b)

(abs b)

(abs a)

Compiler

Compiled 250 to 154 computations (38.4% 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%)

sample671.0ms (41.4%)

explain68.0ms (4.2%)

preprocess27.0ms (1.6%)

eval0.0ms (0%)

prune0.0ms (0%)

series11.0ms (0.7%)

rewrite38.0ms (2.4%)

eval9.0ms (0.6%)

prune46.0ms (2.8%)

series14.0ms (0.9%)

rewrite51.0ms (3.2%)

eval28.0ms (1.7%)

prune432.0ms (26.6%)

series16.0ms (1%)

rewrite24.0ms (1.5%)

eval8.0ms (0.5%)

prune32.0ms (2%)

regimes12.0ms (0.7%)

regimes11.0ms (0.7%)

regimes8.0ms (0.5%)

regimes7.0ms (0.4%)

regimes5.0ms (0.3%)

bsearch5.0ms (0.3%)

bsearch11.0ms (0.7%)

bsearch8.0ms (0.5%)

simplify41.0ms (2.5%)

derivations6.0ms (0.4%)

preprocess32.0ms (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