Metrics for Expression, p14

start0.0ms (0%)

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

analyze178.0ms (1.2%)

Memory

8.2MiB live, 155.2MiB allocated; 48ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
0%	0%	0%	100%	0%	0%	0%	1
0%	0%	0%	100%	0%	0%	0%	2
0%	0%	0%	100%	0%	0%	0%	3
0%	0%	0%	100%	0%	0%	0%	4
25%	0%	0%	100%	0%	0%	0%	5
25%	0%	0%	100%	0%	0%	0%	6
25%	0%	0%	100%	0%	0%	0%	7
37.5%	0%	0%	100%	0%	0%	0%	8
56.3%	0%	0%	100%	0%	0%	0%	9
56.3%	0%	0%	100%	0%	0%	0%	10
56.3%	0%	0%	100%	0%	0%	0%	11
65.6%	0%	0%	100%	0%	0%	0%	12

Compiler

Compiled 39 to 28 computations (28.2% saved)

sample677.0ms (4.7%)

Memory

-8.5MiB live, 409.8MiB allocated; 107ms collecting garbage

Samples

436.0ms

8 256×

valid

Precisions

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

ival-add!: 55.0ms (38.2% of total)

ival-mult!: 42.0ms (29.2% of total)

ival-<=: 37.0ms (25.7% of total)

ival-and: 7.0ms (4.9% of total)

adjust: 2.0ms (1.4% of total)

ival-assert: 1.0ms (0.7% of total)

Bogosity

preprocess52.0ms (0.4%)

Memory

-23.9MiB live, 28.8MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	41	111
1	177	108
2	691	106
3	1612	106
4	2249	106
5	2323	106

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(*.f64 a (+.f64 (+.f64 b c) d))

Symmetry

(negabs a)

(sort b c d)

Compiler

Compiled 14 to 14 computations (0% saved)

series101.0ms (0.7%)

Memory

6.3MiB live, 52.3MiB allocated; 4ms collecting garbage

Counts

7 → 34

Calls

Call 1

Inputs
(*.f64 a (+.f64 (+.f64 b c) d))
a
(+.f64 (+.f64 b c) d)
(+.f64 b c)
b
c
d

Outputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b (+.f64 c d))))
#s(approx a a)
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 c d)))
#s(approx (* a (+ (+ b c) d)) (fma.f64 a b (*.f64 a (+.f64 c d))))
#s(approx (+ (+ b c) d) (+.f64 c d))
#s(approx (+ (+ b c) d) (+.f64 b (+.f64 c d)))
#s(approx (+ b c) c)
#s(approx (+ b c) (+.f64 b c))
#s(approx b b)
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))
#s(approx (* a (+ (+ b c) d)) (.f64 b (+.f64 a (/.f64 (.f64 a (+.f64 c d)) b))))
#s(approx (+ (+ b c) d) (*.f64 b (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 c b) (/.f64 d b)))))
#s(approx (+ b c) (*.f64 b (+.f64 #s(literal 1 binary64) (/.f64 c b))))
#s(approx (* a (+ (+ b c) d)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (+.f64 c d)) b))))))
#s(approx (+ (+ b c) d) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 c d) b)) #s(literal 1 binary64)))))
#s(approx (+ b c) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 c b)) #s(literal 1 binary64)))))
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b d)))
#s(approx (* a (+ (+ b c) d)) (fma.f64 a c (*.f64 a (+.f64 b d))))
#s(approx (+ (+ b c) d) (+.f64 b d))
#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
#s(approx (* a (+ (+ b c) d)) (.f64 c (+.f64 a (/.f64 (.f64 a (+.f64 b d)) c))))
#s(approx (+ (+ b c) d) (*.f64 c (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b c) (/.f64 d c)))))
#s(approx (+ b c) (*.f64 c (+.f64 #s(literal 1 binary64) (/.f64 b c))))
#s(approx (* a (+ (+ b c) d)) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (+.f64 b d)) c))))))
#s(approx (+ (+ b c) d) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 b d) c)) #s(literal 1 binary64)))))
#s(approx (+ b c) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 b c)) #s(literal 1 binary64)))))
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b c)))
#s(approx (* a (+ (+ b c) d)) (fma.f64 a d (*.f64 a (+.f64 b c))))
#s(approx d d)
#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
#s(approx (* a (+ (+ b c) d)) (.f64 d (+.f64 a (/.f64 (.f64 a (+.f64 b c)) d))))
#s(approx (+ (+ b c) d) (*.f64 d (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b d) (/.f64 c d)))))
#s(approx (* a (+ (+ b c) d)) (.f64 #s(literal -1 binary64) (.f64 d (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (+.f64 b c)) d))))))
#s(approx (+ (+ b c) d) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 b c) d)) #s(literal 1 binary64)))))

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	d	@	0	((* a (+ (+ b c) d)) a (+ (+ b c) d) (+ b c) b c d)
1.0ms	a	@	inf	((* a (+ (+ b c) d)) a (+ (+ b c) d) (+ b c) b c d)
1.0ms	a	@	-inf	((* a (+ (+ b c) d)) a (+ (+ b c) d) (+ b c) b c d)
1.0ms	b	@	0	((* a (+ (+ b c) d)) a (+ (+ b c) d) (+ b c) b c d)
1.0ms	b	@	-inf	((* a (+ (+ b c) d)) a (+ (+ b c) d) (+ b c) b c d)

rewrite3.1s (21.3%)

Memory

8.4MiB live, 1 484.8MiB allocated; 437ms collecting garbage

Counts

7 → 67

Calls

Call 1

Inputs
(*.f64 a (+.f64 (+.f64 b c) d))
a
(+.f64 (+.f64 b c) d)
(+.f64 b c)
b
c
d

Outputs
(*.f64 a (+.f64 (+.f64 b c) d))
(*.f64 (-.f64 (-.f64 (neg.f64 b) c) d) (neg.f64 a))
(*.f64 (+.f64 (+.f64 b c) d) a)
(*.f64 (neg.f64 a) (-.f64 (-.f64 (neg.f64 b) c) d))
(+.f64 (.f64 (+.f64 b c) a) (.f64 d a))
(+.f64 (.f64 (+.f64 d b) a) (.f64 c a))
(+.f64 (.f64 (+.f64 d c) a) (.f64 b a))
(+.f64 (.f64 b a) (.f64 (+.f64 d c) a))
(+.f64 (.f64 c a) (.f64 (+.f64 d b) a))
(+.f64 (.f64 d a) (.f64 (+.f64 b c) a))
(-.f64 (.f64 (+.f64 b c) a) (neg.f64 (.f64 d a)))
(-.f64 (.f64 (+.f64 d b) a) (neg.f64 (.f64 c a)))
(-.f64 (.f64 (+.f64 d c) a) (neg.f64 (.f64 b a)))
(-.f64 (.f64 b a) (.f64 (-.f64 (neg.f64 c) d) a))
(-.f64 (.f64 c a) (.f64 (-.f64 (neg.f64 b) d) a))
(-.f64 (.f64 d a) (.f64 (-.f64 (neg.f64 b) c) a))
(fma.f64 (+.f64 b c) a (*.f64 d a))
(fma.f64 (+.f64 d b) a (*.f64 c a))
(fma.f64 (+.f64 d c) a (*.f64 b a))
(fma.f64 a (+.f64 d b) (*.f64 c a))
(fma.f64 a (+.f64 d c) (*.f64 b a))
(fma.f64 a (+.f64 b c) (*.f64 d a))
(fma.f64 (-.f64 (neg.f64 b) c) (neg.f64 a) (*.f64 d a))
(fma.f64 (-.f64 (neg.f64 b) d) (neg.f64 a) (*.f64 c a))
(fma.f64 (-.f64 (neg.f64 c) d) (neg.f64 a) (*.f64 b a))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 c) d) (*.f64 b a))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 b) d) (*.f64 c a))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 b) c) (*.f64 d a))
(fma.f64 b a (*.f64 (+.f64 d c) a))
(fma.f64 d a (*.f64 (+.f64 b c) a))
(fma.f64 c a (*.f64 (+.f64 d b) a))
(fma.f64 a b (*.f64 (+.f64 d c) a))
(fma.f64 a c (*.f64 (+.f64 d b) a))
(fma.f64 a d (*.f64 (+.f64 b c) a))
(fma.f64 (neg.f64 d) (neg.f64 a) (*.f64 (+.f64 b c) a))
(fma.f64 (neg.f64 c) (neg.f64 a) (*.f64 (+.f64 d b) a))
(fma.f64 (neg.f64 b) (neg.f64 a) (*.f64 (+.f64 d c) a))
(fma.f64 (neg.f64 a) (neg.f64 b) (*.f64 (+.f64 d c) a))
(fma.f64 (neg.f64 a) (neg.f64 c) (*.f64 (+.f64 d b) a))
(fma.f64 (neg.f64 a) (neg.f64 d) (*.f64 (+.f64 b c) a))
(neg.f64 (*.f64 (-.f64 (-.f64 (neg.f64 b) c) d) a))
a
(neg.f64 (neg.f64 a))
(+.f64 (+.f64 b c) d)
(+.f64 (+.f64 d b) c)
(+.f64 (+.f64 d c) b)
(+.f64 b (+.f64 d c))
(+.f64 c (+.f64 d b))
(+.f64 d (+.f64 b c))
(-.f64 (+.f64 b c) (neg.f64 d))
(-.f64 (+.f64 d b) (neg.f64 c))
(-.f64 (+.f64 d c) (neg.f64 b))
(-.f64 b (-.f64 (neg.f64 c) d))
(-.f64 c (-.f64 (neg.f64 b) d))
(-.f64 d (-.f64 (neg.f64 b) c))
(neg.f64 (-.f64 (-.f64 (neg.f64 b) c) d))
(+.f64 b c)
(+.f64 c b)
(-.f64 b (neg.f64 c))
(-.f64 c (neg.f64 b))
(neg.f64 (-.f64 (neg.f64 b) c))
b
(neg.f64 (neg.f64 b))
c
(neg.f64 (neg.f64 c))
d
(neg.f64 (neg.f64 d))

eval30.0ms (0.2%)

Memory: 8.1MiB live, 8.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 497 to 260 computations (47.7% saved)

prune8.0ms (0.1%)

Memory

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

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	85	9	94
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	85	10	95

Accuracy

100.0%

Counts

95 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.9%	(fma.f64 (+.f64 d c) a (*.f64 b a))
▶	100.0%	(fma.f64 (+.f64 d b) a (*.f64 c a))
▶	99.9%	(fma.f64 b a (*.f64 (+.f64 d c) a))
✓	99.9%	(*.f64 a (+.f64 (+.f64 b c) d))
	99.4%	(*.f64 a (+.f64 #s(approx (+ b c) c) d))
▶	93.1%	(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))
	7.4%	#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b c)))
▶	93.1%	#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
	7.4%	#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
▶	5.1%	#s(approx (* a (+ (+ b c) d)) (*.f64 a b))

Compiler

Compiled 157 to 157 computations (0% saved)

series178.0ms (1.2%)

Memory

-9.1MiB live, 36.7MiB allocated; 5ms collecting garbage

Counts

17 → 54

Calls

Call 1

Inputs
(fma.f64 (+.f64 d b) a (*.f64 c a))
(+.f64 d b)
d
b
a
(*.f64 c a)
c
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))
(*.f64 a b)
#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
(*.f64 a d)
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))
#s(approx (+ (+ b c) d) (+.f64 b d))
(+.f64 b d)
(fma.f64 b a (*.f64 (+.f64 d c) a))
(*.f64 (+.f64 d c) a)
(+.f64 d c)

Outputs
#s(approx (+ (* (+ d b) a) (* c a)) (*.f64 a (+.f64 b (+.f64 c d))))
#s(approx a a)
#s(approx (* c a) (*.f64 a c))
#s(approx (* a b) (*.f64 a b))
#s(approx (* a d) (*.f64 a d))
#s(approx (* (+ d c) a) (*.f64 a (+.f64 c d)))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) c (*.f64 #s(literal -1 binary64) (+.f64 b d))))))
#s(approx (+ (* b a) (* (+ d c) a)) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) b (*.f64 #s(literal -1 binary64) (+.f64 c d))))))
#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a c (*.f64 a d)))
#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a b (fma.f64 a c (*.f64 a d))))
#s(approx (+ d b) d)
#s(approx (+ d b) (+.f64 b d))
#s(approx b b)
#s(approx (* a (+ (+ b c) d)) (fma.f64 a b (*.f64 a (+.f64 c d))))
#s(approx (+ (+ b c) d) (+.f64 c d))
#s(approx (+ (+ b c) d) (+.f64 b (+.f64 c d)))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 b (+.f64 a (+.f64 (/.f64 (.f64 a c) b) (/.f64 (*.f64 a d) b)))))
#s(approx (+ d b) (*.f64 b (+.f64 #s(literal 1 binary64) (/.f64 d b))))
#s(approx (* a (+ (+ b c) d)) (.f64 b (+.f64 a (/.f64 (.f64 a (+.f64 c d)) b))))
#s(approx (+ (+ b c) d) (*.f64 b (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 c b) (/.f64 d b)))))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 a c (.f64 a d)) b))))))
#s(approx (+ d b) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d b)) #s(literal 1 binary64)))))
#s(approx (* a (+ (+ b c) d)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (+.f64 c d)) b))))))
#s(approx (+ (+ b c) d) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 c d) b)) #s(literal 1 binary64)))))
#s(approx (+ (* (+ d b) a) (* c a)) (*.f64 a (+.f64 b d)))
#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a c (*.f64 a (+.f64 b d))))
#s(approx c c)
#s(approx (+ (* b a) (* (+ d c) a)) (fma.f64 a b (*.f64 a d)))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 c (+.f64 a (/.f64 (.f64 a (+.f64 b d)) c))))
#s(approx (+ (+ b c) d) (*.f64 c (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b c) (/.f64 d c)))))
#s(approx (+ (* b a) (* (+ d c) a)) (.f64 c (+.f64 a (+.f64 (/.f64 (.f64 a b) c) (/.f64 (*.f64 a d) c)))))
#s(approx (* (+ d c) a) (.f64 c (+.f64 a (/.f64 (.f64 a d) c))))
#s(approx (+ d c) (*.f64 c (+.f64 #s(literal 1 binary64) (/.f64 d c))))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (+.f64 b d)) c))))))
#s(approx (+ (+ b c) d) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 b d) c)) #s(literal 1 binary64)))))
#s(approx (+ (* b a) (* (+ d c) a)) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 a b (.f64 a d)) c))))))
#s(approx (* (+ d c) a) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a d) c))))))
#s(approx (+ d c) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d c)) #s(literal 1 binary64)))))
#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a b (*.f64 a c)))
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b c)))
#s(approx (* a (+ (+ b c) d)) (fma.f64 a d (*.f64 a (+.f64 b c))))
#s(approx (+ (+ b c) d) (+.f64 b c))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 d (+.f64 a (+.f64 (/.f64 (.f64 a b) d) (/.f64 (*.f64 a c) d)))))
#s(approx (+ d b) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 b d))))
#s(approx (* a (+ (+ b c) d)) (.f64 d (+.f64 a (/.f64 (.f64 a (+.f64 b c)) d))))
#s(approx (+ (+ b c) d) (*.f64 d (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b d) (/.f64 c d)))))
#s(approx (* (+ d c) a) (.f64 d (+.f64 a (/.f64 (.f64 a c) d))))
#s(approx (+ d c) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 c d))))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 #s(literal -1 binary64) (.f64 d (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 a b (.f64 a c)) d))))))
#s(approx (+ d b) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 b d)) #s(literal 1 binary64)))))
#s(approx (* a (+ (+ b c) d)) (.f64 #s(literal -1 binary64) (.f64 d (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (+.f64 b c)) d))))))
#s(approx (+ (+ b c) d) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 b c) d)) #s(literal 1 binary64)))))
#s(approx (* (+ d c) a) (.f64 #s(literal -1 binary64) (.f64 d (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a c) d))))))
#s(approx (+ d c) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 c d)) #s(literal 1 binary64)))))

Calls

12 calls:

Time	Variable		Point	Expression
6.0ms	a	@	inf	((+ (* (+ d b) a) (* c a)) (+ d b) d b a (* c a) c (* a (+ (+ b c) d)) (* a b) (* a (+ (+ b c) d)) (* a d) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b d) (+ (* b a) (* (+ d c) a)) (* (+ d c) a) (+ d c))
5.0ms	a	@	-inf	((+ (* (+ d b) a) (* c a)) (+ d b) d b a (* c a) c (* a (+ (+ b c) d)) (* a b) (* a (+ (+ b c) d)) (* a d) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b d) (+ (* b a) (* (+ d c) a)) (* (+ d c) a) (+ d c))
4.0ms	a	@	0	((+ (* (+ d b) a) (* c a)) (+ d b) d b a (* c a) c (* a (+ (+ b c) d)) (* a b) (* a (+ (+ b c) d)) (* a d) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b d) (+ (* b a) (* (+ d c) a)) (* (+ d c) a) (+ d c))
3.0ms	b	@	-inf	((+ (* (+ d b) a) (* c a)) (+ d b) d b a (* c a) c (* a (+ (+ b c) d)) (* a b) (* a (+ (+ b c) d)) (* a d) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b d) (+ (* b a) (* (+ d c) a)) (* (+ d c) a) (+ d c))
2.0ms	c	@	-inf	((+ (* (+ d b) a) (* c a)) (+ d b) d b a (* c a) c (* a (+ (+ b c) d)) (* a b) (* a (+ (+ b c) d)) (* a d) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b d) (+ (* b a) (* (+ d c) a)) (* (+ d c) a) (+ d c))

rewrite3.1s (21.8%)

Memory

41.6MiB live, 1 655.5MiB allocated; 288ms collecting garbage

Counts

17 → 141

Calls

Call 1

Inputs
(fma.f64 (+.f64 d b) a (*.f64 c a))
(+.f64 d b)
d
b
a
(*.f64 c a)
c
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))
(*.f64 a b)
#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
(*.f64 a d)
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))
#s(approx (+ (+ b c) d) (+.f64 b d))
(+.f64 b d)
(fma.f64 b a (*.f64 (+.f64 d c) a))
(*.f64 (+.f64 d c) a)
(+.f64 d c)

Outputs
(*.f64 (+.f64 (+.f64 d b) c) a)
(*.f64 (-.f64 (-.f64 (neg.f64 b) d) c) (neg.f64 a))
(*.f64 a (+.f64 (+.f64 d b) c))
(*.f64 (neg.f64 a) (-.f64 (-.f64 (neg.f64 b) d) c))
(+.f64 (.f64 (+.f64 d b) a) (.f64 c a))
(+.f64 (.f64 (+.f64 c b) a) (.f64 a d))
(+.f64 (.f64 (+.f64 d c) a) (.f64 a b))
(+.f64 (.f64 a b) (.f64 (+.f64 d c) a))
(+.f64 (.f64 c a) (.f64 (+.f64 d b) a))
(+.f64 (.f64 a d) (.f64 (+.f64 c b) a))
(-.f64 (.f64 (+.f64 d b) a) (neg.f64 (.f64 c a)))
(-.f64 (.f64 (+.f64 c b) a) (neg.f64 (.f64 a d)))
(-.f64 (.f64 (+.f64 d c) a) (neg.f64 (.f64 a b)))
(-.f64 (.f64 a b) (.f64 (-.f64 (neg.f64 c) d) a))
(-.f64 (.f64 c a) (.f64 (-.f64 (neg.f64 b) d) a))
(-.f64 (.f64 a d) (.f64 (-.f64 (neg.f64 b) c) a))
(fma.f64 (+.f64 d b) a (*.f64 c a))
(fma.f64 (+.f64 c b) a (*.f64 a d))
(fma.f64 (+.f64 d c) a (*.f64 a b))
(fma.f64 a (+.f64 d b) (*.f64 c a))
(fma.f64 a (+.f64 d c) (*.f64 a b))
(fma.f64 a (+.f64 c b) (*.f64 a d))
(fma.f64 b a (*.f64 (+.f64 d c) a))
(fma.f64 (-.f64 (neg.f64 c) d) (neg.f64 a) (*.f64 a b))
(fma.f64 (-.f64 (neg.f64 b) c) (neg.f64 a) (*.f64 a d))
(fma.f64 (-.f64 (neg.f64 b) d) (neg.f64 a) (*.f64 c a))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 c) d) (*.f64 a b))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 b) d) (*.f64 c a))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 b) c) (*.f64 a d))
(fma.f64 c a (*.f64 (+.f64 d b) a))
(fma.f64 d a (*.f64 (+.f64 c b) a))
(fma.f64 a b (*.f64 (+.f64 d c) a))
(fma.f64 a c (*.f64 (+.f64 d b) a))
(fma.f64 a d (*.f64 (+.f64 c b) a))
(fma.f64 (neg.f64 c) (neg.f64 a) (*.f64 (+.f64 d b) a))
(fma.f64 (neg.f64 d) (neg.f64 a) (*.f64 (+.f64 c b) a))
(fma.f64 (neg.f64 b) (neg.f64 a) (*.f64 (+.f64 d c) a))
(fma.f64 (neg.f64 a) (neg.f64 b) (*.f64 (+.f64 d c) a))
(fma.f64 (neg.f64 a) (neg.f64 c) (*.f64 (+.f64 d b) a))
(fma.f64 (neg.f64 a) (neg.f64 d) (*.f64 (+.f64 c b) a))
(neg.f64 (*.f64 (-.f64 (-.f64 (neg.f64 b) d) c) a))
(+.f64 d b)
(+.f64 b d)
(-.f64 b (neg.f64 d))
(-.f64 d (neg.f64 b))
(neg.f64 (-.f64 (neg.f64 b) d))
d
(neg.f64 (neg.f64 d))
b
(neg.f64 (neg.f64 b))
a
(neg.f64 (neg.f64 a))
(*.f64 c a)
(*.f64 a c)
(*.f64 (neg.f64 a) (neg.f64 c))
(*.f64 (neg.f64 c) (neg.f64 a))
(neg.f64 (neg.f64 (*.f64 c a)))
c
(neg.f64 (neg.f64 c))
#s(approx (* a (+ (+ b d) c)) (*.f64 a b))
(*.f64 a b)
(*.f64 b a)
(*.f64 (neg.f64 a) (neg.f64 b))
(*.f64 (neg.f64 b) (neg.f64 a))
(neg.f64 (neg.f64 (*.f64 a b)))
#s(approx (* a (+ (+ b d) c)) (*.f64 a d))
(*.f64 a d)
(*.f64 d a)
(*.f64 (neg.f64 a) (neg.f64 d))
(*.f64 (neg.f64 d) (neg.f64 a))
(neg.f64 (neg.f64 (*.f64 a d)))
(*.f64 a #s(approx (+ (+ b d) c) (+.f64 d b)))
#s(approx (+ (+ b d) c) (+.f64 d b))
(+.f64 d b)
(+.f64 b d)
(-.f64 b (neg.f64 d))
(-.f64 d (neg.f64 b))
(neg.f64 (-.f64 (neg.f64 b) d))
(*.f64 (+.f64 (+.f64 d b) c) a)
(*.f64 (-.f64 (-.f64 (neg.f64 b) d) c) (neg.f64 a))
(*.f64 a (+.f64 (+.f64 d b) c))
(*.f64 (neg.f64 a) (-.f64 (-.f64 (neg.f64 b) d) c))
(+.f64 (.f64 (+.f64 d b) a) (.f64 c a))
(+.f64 (.f64 (+.f64 c b) a) (.f64 a d))
(+.f64 (.f64 (+.f64 d c) a) (.f64 a b))
(+.f64 (.f64 a b) (.f64 (+.f64 d c) a))
(+.f64 (.f64 c a) (.f64 (+.f64 d b) a))
(+.f64 (.f64 a d) (.f64 (+.f64 c b) a))
(-.f64 (.f64 (+.f64 d b) a) (neg.f64 (.f64 c a)))
(-.f64 (.f64 (+.f64 c b) a) (neg.f64 (.f64 a d)))
(-.f64 (.f64 (+.f64 d c) a) (neg.f64 (.f64 a b)))
(-.f64 (.f64 a b) (.f64 (-.f64 (neg.f64 c) d) a))
(-.f64 (.f64 c a) (.f64 (-.f64 (neg.f64 b) d) a))
(-.f64 (.f64 a d) (.f64 (-.f64 (neg.f64 b) c) a))
(fma.f64 (+.f64 d b) a (*.f64 c a))
(fma.f64 (+.f64 c b) a (*.f64 a d))
(fma.f64 (+.f64 d c) a (*.f64 a b))
(fma.f64 a (+.f64 d b) (*.f64 c a))
(fma.f64 a (+.f64 d c) (*.f64 a b))
(fma.f64 a (+.f64 c b) (*.f64 a d))
(fma.f64 b a (*.f64 (+.f64 d c) a))
(fma.f64 (-.f64 (neg.f64 c) d) (neg.f64 a) (*.f64 a b))
(fma.f64 (-.f64 (neg.f64 b) c) (neg.f64 a) (*.f64 a d))
(fma.f64 (-.f64 (neg.f64 b) d) (neg.f64 a) (*.f64 c a))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 c) d) (*.f64 a b))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 b) d) (*.f64 c a))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 b) c) (*.f64 a d))
(fma.f64 c a (*.f64 (+.f64 d b) a))
(fma.f64 d a (*.f64 (+.f64 c b) a))
(fma.f64 a b (*.f64 (+.f64 d c) a))
(fma.f64 a c (*.f64 (+.f64 d b) a))
(fma.f64 a d (*.f64 (+.f64 c b) a))
(fma.f64 (neg.f64 c) (neg.f64 a) (*.f64 (+.f64 d b) a))
(fma.f64 (neg.f64 d) (neg.f64 a) (*.f64 (+.f64 c b) a))
(fma.f64 (neg.f64 b) (neg.f64 a) (*.f64 (+.f64 d c) a))
(fma.f64 (neg.f64 a) (neg.f64 b) (*.f64 (+.f64 d c) a))
(fma.f64 (neg.f64 a) (neg.f64 c) (*.f64 (+.f64 d b) a))
(fma.f64 (neg.f64 a) (neg.f64 d) (*.f64 (+.f64 c b) a))
(neg.f64 (*.f64 (-.f64 (-.f64 (neg.f64 b) d) c) a))
(*.f64 (+.f64 d c) a)
(*.f64 a (+.f64 d c))
(*.f64 (-.f64 (neg.f64 c) d) (neg.f64 a))
(*.f64 (neg.f64 a) (-.f64 (neg.f64 c) d))
(+.f64 (.f64 c a) (.f64 a d))
(+.f64 (.f64 a d) (.f64 c a))
(-.f64 (.f64 c a) (neg.f64 (.f64 a d)))
(-.f64 (.f64 a d) (neg.f64 (.f64 c a)))
(fma.f64 (neg.f64 a) (neg.f64 c) (*.f64 a d))
(fma.f64 (neg.f64 a) (neg.f64 d) (*.f64 c a))
(fma.f64 (neg.f64 c) (neg.f64 a) (*.f64 a d))
(fma.f64 (neg.f64 d) (neg.f64 a) (*.f64 c a))
(fma.f64 c a (*.f64 a d))
(fma.f64 d a (*.f64 c a))
(fma.f64 a c (*.f64 a d))
(fma.f64 a d (*.f64 c a))
(neg.f64 (*.f64 (-.f64 (neg.f64 c) d) a))
(+.f64 d c)
(+.f64 c d)
(-.f64 c (neg.f64 d))
(-.f64 d (neg.f64 c))
(neg.f64 (-.f64 (neg.f64 c) d))

eval20.0ms (0.1%)

Memory: -24.7MiB live, 26.1MiB allocated; 6ms collecting garbage
Compiler: Compiled 858 to 446 computations (48% saved)

prune6.0ms (0%)

Memory

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

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	151	4	155
Fresh	1	3	4
Picked	2	3	5
Done	0	1	1
Total	154	11	165

Accuracy

100.0%

Counts

165 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(fma.f64 (+.f64 d c) a (*.f64 b a))
	99.5%	(fma.f64 #s(approx (+ d b) d) a (*.f64 c a))
✓	99.9%	(*.f64 a (+.f64 (+.f64 b c) d))
▶	99.4%	(*.f64 a (+.f64 #s(approx (+ b c) c) d))
✓	93.1%	(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))
▶	7.4%	(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b c)))
	7.4%	#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a b (*.f64 a c)))
▶	93.1%	#s(approx (+ (* b a) (* (+ d c) a)) (fma.f64 a b (*.f64 a d)))
✓	93.1%	#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
▶	7.4%	#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
✓	5.1%	#s(approx (* a (+ (+ b c) d)) (*.f64 a b))

Compiler

Compiled 160 to 160 computations (0% saved)

series148.0ms (1%)

Memory

9.4MiB live, 103.7MiB allocated; 7ms collecting garbage

Counts

18 → 51

Calls

Call 1

Inputs
(fma.f64 (+.f64 d c) a (*.f64 b a))
(+.f64 d c)
d
c
a
(*.f64 b a)
b
#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
(*.f64 a c)
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b c)))
#s(approx (+ (+ b c) d) (+.f64 b c))
(+.f64 b c)
(*.f64 a (+.f64 #s(approx (+ b c) c) d))
(+.f64 #s(approx (+ b c) c) d)
#s(approx (+ b c) c)
#s(approx (+ (* b a) (* (+ d c) a)) (fma.f64 a b (*.f64 a d)))
(fma.f64 a b (*.f64 a d))
(*.f64 a d)

Outputs
#s(approx (+ (* (+ d c) a) (* b a)) (*.f64 a (+.f64 b (+.f64 c d))))
#s(approx a a)
#s(approx (* b a) (*.f64 a b))
#s(approx (* a c) (*.f64 a c))
#s(approx (+ (* a b) (* a d)) (*.f64 a (+.f64 b d)))
#s(approx (* a d) (*.f64 a d))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) b (*.f64 #s(literal -1 binary64) (+.f64 c d))))))
#s(approx (+ (* a b) (* a d)) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) b (*.f64 #s(literal -1 binary64) d)))))
#s(approx (+ (* (+ d c) a) (* b a)) (*.f64 a (+.f64 c d)))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a (+.f64 c d))))
#s(approx b b)
#s(approx (+ (+ b c) d) (+.f64 c d))
#s(approx (+ (+ b c) d) (+.f64 b (+.f64 c d)))
#s(approx (+ b c) c)
#s(approx (+ b c) (+.f64 b c))
#s(approx (+ (* a b) (* a d)) (fma.f64 a b (*.f64 a d)))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 b (+.f64 a (/.f64 (.f64 a (+.f64 c d)) b))))
#s(approx (+ (+ b c) d) (*.f64 b (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 c b) (/.f64 d b)))))
#s(approx (+ b c) (*.f64 b (+.f64 #s(literal 1 binary64) (/.f64 c b))))
#s(approx (+ (* a b) (* a d)) (.f64 b (+.f64 a (/.f64 (.f64 a d) b))))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (+.f64 c d)) b))))))
#s(approx (+ (+ b c) d) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 c d) b)) #s(literal 1 binary64)))))
#s(approx (+ b c) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 c b)) #s(literal 1 binary64)))))
#s(approx (+ (* a b) (* a d)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a d) b))))))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (fma.f64 a c (*.f64 a d))))
#s(approx (+ d c) d)
#s(approx (* a (+ (+ b c) d)) (fma.f64 a c (*.f64 a (+.f64 b d))))
#s(approx (+ (+ b c) d) (+.f64 b d))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 c (+.f64 a (+.f64 (/.f64 (.f64 a b) c) (/.f64 (*.f64 a d) c)))))
#s(approx (+ d c) (*.f64 c (+.f64 #s(literal 1 binary64) (/.f64 d c))))
#s(approx (* a (+ (+ b c) d)) (.f64 c (+.f64 a (/.f64 (.f64 a (+.f64 b d)) c))))
#s(approx (+ (+ b c) d) (*.f64 c (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b c) (/.f64 d c)))))
#s(approx (+ b c) (*.f64 c (+.f64 #s(literal 1 binary64) (/.f64 b c))))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 a b (.f64 a d)) c))))))
#s(approx (+ d c) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d c)) #s(literal 1 binary64)))))
#s(approx (* a (+ (+ b c) d)) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (+.f64 b d)) c))))))
#s(approx (+ (+ b c) d) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 b d) c)) #s(literal 1 binary64)))))
#s(approx (+ b c) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 b c)) #s(literal 1 binary64)))))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a c)))
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b c)))
#s(approx (* a (+ (+ b c) d)) (fma.f64 a d (*.f64 a (+.f64 b c))))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 d (+.f64 a (+.f64 (/.f64 (.f64 a b) d) (/.f64 (*.f64 a c) d)))))
#s(approx (+ d c) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 c d))))
#s(approx (* a (+ (+ b c) d)) (.f64 d (+.f64 a (/.f64 (.f64 a (+.f64 b c)) d))))
#s(approx (+ (+ b c) d) (*.f64 d (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b d) (/.f64 c d)))))
#s(approx (+ (* a b) (* a d)) (.f64 d (+.f64 a (/.f64 (.f64 a b) d))))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 #s(literal -1 binary64) (.f64 d (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 a b (.f64 a c)) d))))))
#s(approx (+ d c) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 c d)) #s(literal 1 binary64)))))
#s(approx (* a (+ (+ b c) d)) (.f64 #s(literal -1 binary64) (.f64 d (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (+.f64 b c)) d))))))
#s(approx (+ (+ b c) d) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 b c) d)) #s(literal 1 binary64)))))
#s(approx (+ (* a b) (* a d)) (.f64 #s(literal -1 binary64) (.f64 d (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a b) d))))))

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	a	@	-inf	((+ (* (+ d c) a) (* b a)) (+ d c) d c a (* b a) b (* a (+ (+ b c) d)) (* a c) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b c) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b c) (+ (* b a) (* (+ d c) a)) (+ (* a b) (* a d)) (* a d))
1.0ms	b	@	-inf	((+ (* (+ d c) a) (* b a)) (+ d c) d c a (* b a) b (* a (+ (+ b c) d)) (* a c) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b c) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b c) (+ (* b a) (* (+ d c) a)) (+ (* a b) (* a d)) (* a d))
1.0ms	a	@	inf	((+ (* (+ d c) a) (* b a)) (+ d c) d c a (* b a) b (* a (+ (+ b c) d)) (* a c) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b c) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b c) (+ (* b a) (* (+ d c) a)) (+ (* a b) (* a d)) (* a d))
1.0ms	c	@	-inf	((+ (* (+ d c) a) (* b a)) (+ d c) d c a (* b a) b (* a (+ (+ b c) d)) (* a c) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b c) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b c) (+ (* b a) (* (+ d c) a)) (+ (* a b) (* a d)) (* a d))
1.0ms	d	@	-inf	((+ (* (+ d c) a) (* b a)) (+ d c) d c a (* b a) b (* a (+ (+ b c) d)) (* a c) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b c) (* a (+ (+ b c) d)) (+ (+ b c) d) (+ b c) (+ (* b a) (* (+ d c) a)) (+ (* a b) (* a d)) (* a d))

rewrite3.1s (21.6%)

Memory

61.1MiB live, 2 569.4MiB allocated; 648ms collecting garbage

Counts

18 → 98

Calls

Call 1

Inputs
(fma.f64 (+.f64 d c) a (*.f64 b a))
(+.f64 d c)
d
c
a
(*.f64 b a)
b
#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
(*.f64 a c)
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b c)))
#s(approx (+ (+ b c) d) (+.f64 b c))
(+.f64 b c)
(*.f64 a (+.f64 #s(approx (+ b c) c) d))
(+.f64 #s(approx (+ b c) c) d)
#s(approx (+ b c) c)
#s(approx (+ (* b a) (* (+ d c) a)) (fma.f64 a b (*.f64 a d)))
(fma.f64 a b (*.f64 a d))
(*.f64 a d)

Outputs
(*.f64 (+.f64 (+.f64 d b) c) a)
(*.f64 (-.f64 (-.f64 (neg.f64 b) c) d) (neg.f64 a))
(*.f64 a (+.f64 (+.f64 d b) c))
(*.f64 (neg.f64 a) (-.f64 (-.f64 (neg.f64 b) c) d))
(+.f64 (.f64 (+.f64 d b) a) (.f64 a c))
(+.f64 (.f64 (+.f64 b c) a) (.f64 a d))
(+.f64 (.f64 (+.f64 d c) a) (.f64 b a))
(+.f64 (.f64 b a) (.f64 (+.f64 d c) a))
(+.f64 (.f64 a c) (.f64 (+.f64 d b) a))
(+.f64 (.f64 a d) (.f64 (+.f64 b c) a))
(-.f64 (.f64 (+.f64 d b) a) (neg.f64 (.f64 a c)))
(-.f64 (.f64 (+.f64 b c) a) (neg.f64 (.f64 a d)))
(-.f64 (.f64 (+.f64 d c) a) (neg.f64 (.f64 b a)))
(-.f64 (.f64 b a) (.f64 (-.f64 (neg.f64 c) d) a))
(-.f64 (.f64 a c) (.f64 (-.f64 (neg.f64 b) d) a))
(-.f64 (.f64 a d) (.f64 (-.f64 (neg.f64 b) c) a))
(fma.f64 (+.f64 d c) a (*.f64 b a))
(fma.f64 (+.f64 d b) a (*.f64 a c))
(fma.f64 (+.f64 b c) a (*.f64 a d))
(fma.f64 a (+.f64 d b) (*.f64 a c))
(fma.f64 a (+.f64 d c) (*.f64 b a))
(fma.f64 a (+.f64 b c) (*.f64 a d))
(fma.f64 (-.f64 (neg.f64 c) d) (neg.f64 a) (*.f64 b a))
(fma.f64 (-.f64 (neg.f64 b) d) (neg.f64 a) (*.f64 a c))
(fma.f64 (-.f64 (neg.f64 b) c) (neg.f64 a) (*.f64 a d))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 c) d) (*.f64 b a))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 b) d) (*.f64 a c))
(fma.f64 (neg.f64 a) (-.f64 (neg.f64 b) c) (*.f64 a d))
(fma.f64 b a (*.f64 (+.f64 d c) a))
(fma.f64 d a (*.f64 (+.f64 b c) a))
(fma.f64 c a (*.f64 (+.f64 d b) a))
(fma.f64 a b (*.f64 (+.f64 d c) a))
(fma.f64 a c (*.f64 (+.f64 d b) a))
(fma.f64 a d (*.f64 (+.f64 b c) a))
(fma.f64 (neg.f64 d) (neg.f64 a) (*.f64 (+.f64 b c) a))
(fma.f64 (neg.f64 b) (neg.f64 a) (*.f64 (+.f64 d c) a))
(fma.f64 (neg.f64 c) (neg.f64 a) (*.f64 (+.f64 d b) a))
(fma.f64 (neg.f64 a) (neg.f64 b) (*.f64 (+.f64 d c) a))
(fma.f64 (neg.f64 a) (neg.f64 c) (*.f64 (+.f64 d b) a))
(fma.f64 (neg.f64 a) (neg.f64 d) (*.f64 (+.f64 b c) a))
(neg.f64 (*.f64 (-.f64 (-.f64 (neg.f64 b) c) d) a))
(+.f64 d c)
(+.f64 c d)
(-.f64 c (neg.f64 d))
(-.f64 d (neg.f64 c))
(neg.f64 (-.f64 (neg.f64 c) d))
d
(neg.f64 (neg.f64 d))
c
(neg.f64 (neg.f64 c))
a
(neg.f64 (neg.f64 a))
(*.f64 b a)
(*.f64 a b)
(*.f64 (neg.f64 a) (neg.f64 b))
(*.f64 (neg.f64 b) (neg.f64 a))
(neg.f64 (neg.f64 (*.f64 b a)))
b
(neg.f64 (neg.f64 b))
#s(approx (* a (+ c (+ b d))) (*.f64 a c))
(*.f64 a c)
(*.f64 c a)
(*.f64 (neg.f64 a) (neg.f64 c))
(*.f64 (neg.f64 c) (neg.f64 a))
(neg.f64 (neg.f64 (*.f64 a c)))
(*.f64 a #s(approx (+ c (+ b d)) (+.f64 b c)))
#s(approx (+ c (+ b d)) (+.f64 b c))
(+.f64 b c)
(+.f64 c b)
(-.f64 b (neg.f64 c))
(-.f64 c (neg.f64 b))
(neg.f64 (-.f64 (neg.f64 b) c))
(*.f64 a (+.f64 #s(approx (+ b c) c) d))
(+.f64 #s(approx (+ b c) c) d)
#s(approx (+ b c) c)
#s(approx (* a (+ c (+ b d))) (*.f64 (+.f64 d b) a))
(*.f64 (+.f64 d b) a)
(*.f64 a (+.f64 d b))
(*.f64 (-.f64 (neg.f64 b) d) (neg.f64 a))
(*.f64 (neg.f64 a) (-.f64 (neg.f64 b) d))
(+.f64 (.f64 b a) (.f64 a d))
(+.f64 (.f64 a d) (.f64 b a))
(-.f64 (.f64 b a) (neg.f64 (.f64 a d)))
(-.f64 (.f64 a d) (neg.f64 (.f64 b a)))
(fma.f64 a b (*.f64 a d))
(fma.f64 (neg.f64 a) (neg.f64 d) (*.f64 b a))
(fma.f64 (neg.f64 a) (neg.f64 b) (*.f64 a d))
(fma.f64 (neg.f64 b) (neg.f64 a) (*.f64 a d))
(fma.f64 (neg.f64 d) (neg.f64 a) (*.f64 b a))
(fma.f64 b a (*.f64 a d))
(fma.f64 d a (*.f64 b a))
(fma.f64 a d (*.f64 b a))
(neg.f64 (*.f64 (-.f64 (neg.f64 b) d) a))
(*.f64 a d)
(*.f64 d a)
(*.f64 (neg.f64 a) (neg.f64 d))
(*.f64 (neg.f64 d) (neg.f64 a))
(neg.f64 (neg.f64 (*.f64 a d)))

eval70.0ms (0.5%)

Memory: -23.8MiB live, 24.5MiB allocated; 38ms collecting garbage
Compiler: Compiled 837 to 437 computations (47.8% saved)

prune8.0ms (0.1%)

Memory

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

Pruning

11 alts after pruning (3 fresh and 8 done)

	Pruned	Kept	Total
New	148	2	150
Fresh	1	1	2
Picked	1	4	5
Done	0	4	4
Total	150	11	161

Accuracy

100.0%

Counts

161 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	93.1%	(fma.f64 #s(approx (+ d c) d) a (*.f64 b a))
▶	99.5%	(fma.f64 #s(approx (+ d b) d) a (*.f64 c a))
✓	99.9%	(*.f64 a (+.f64 (+.f64 b c) d))
✓	99.4%	(*.f64 a (+.f64 #s(approx (+ b c) c) d))
✓	93.1%	(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))
✓	7.4%	(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b c)))
▶	7.4%	#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a c)))
✓	93.1%	#s(approx (+ (* b a) (* (+ d c) a)) (fma.f64 a b (*.f64 a d)))
✓	93.1%	#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
✓	7.4%	#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
✓	5.1%	#s(approx (* a (+ (+ b c) d)) (*.f64 a b))

Compiler

Compiled 98 to 98 computations (0% saved)

series161.0ms (1.1%)

Memory

-24.4MiB live, 66.2MiB allocated; 21ms collecting garbage

Counts

13 → 44

Calls

Call 1

Inputs
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a c)))
(fma.f64 a b (*.f64 a c))
a
b
(*.f64 a c)
c
(fma.f64 #s(approx (+ d b) d) a (*.f64 c a))
#s(approx (+ d b) d)
d
(*.f64 c a)
(fma.f64 #s(approx (+ d c) d) a (*.f64 b a))
#s(approx (+ d c) d)
(*.f64 b a)

Outputs
#s(approx (+ (* (+ d c) a) (* b a)) (*.f64 a (+.f64 b (+.f64 c d))))
#s(approx (+ (* a b) (* a c)) (*.f64 a (+.f64 b c)))
#s(approx a a)
#s(approx (* a c) (*.f64 a c))
#s(approx (* b a) (*.f64 a b))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) b (*.f64 #s(literal -1 binary64) (+.f64 c d))))))
#s(approx (+ (* a b) (* a c)) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) b (*.f64 #s(literal -1 binary64) c)))))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) c (*.f64 #s(literal -1 binary64) (+.f64 b d))))))
#s(approx (+ (* (+ d c) a) (* b a)) (*.f64 a (+.f64 c d)))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a (+.f64 c d))))
#s(approx (+ (* a b) (* a c)) (fma.f64 a b (*.f64 a c)))
#s(approx b b)
#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a c (*.f64 a d)))
#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a b (fma.f64 a c (*.f64 a d))))
#s(approx (+ d b) d)
#s(approx (+ d b) (+.f64 b d))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 b (+.f64 a (/.f64 (.f64 a (+.f64 c d)) b))))
#s(approx (+ (* a b) (* a c)) (.f64 b (+.f64 a (/.f64 (.f64 a c) b))))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 b (+.f64 a (+.f64 (/.f64 (.f64 a c) b) (/.f64 (*.f64 a d) b)))))
#s(approx (+ d b) (*.f64 b (+.f64 #s(literal 1 binary64) (/.f64 d b))))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (+.f64 c d)) b))))))
#s(approx (+ (* a b) (* a c)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a c) b))))))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 a c (.f64 a d)) b))))))
#s(approx (+ d b) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d b)) #s(literal 1 binary64)))))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a d)))
#s(approx c c)
#s(approx (+ (* (+ d b) a) (* c a)) (*.f64 a (+.f64 b d)))
#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a c (*.f64 a (+.f64 b d))))
#s(approx (+ d c) (+.f64 c d))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 c (+.f64 a (+.f64 (/.f64 (.f64 a b) c) (/.f64 (*.f64 a d) c)))))
#s(approx (+ (* a b) (* a c)) (.f64 c (+.f64 a (/.f64 (.f64 a b) c))))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 c (+.f64 a (/.f64 (.f64 a (+.f64 b d)) c))))
#s(approx (+ d c) (*.f64 c (+.f64 #s(literal 1 binary64) (/.f64 d c))))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 a b (.f64 a d)) c))))))
#s(approx (+ (* a b) (* a c)) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a b) c))))))
#s(approx (+ (* (+ d b) a) (* c a)) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (+.f64 b d)) c))))))
#s(approx (+ d c) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d c)) #s(literal 1 binary64)))))
#s(approx (+ (* (+ d c) a) (* b a)) (*.f64 a d))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 d (+.f64 a (+.f64 (/.f64 (.f64 a b) d) (/.f64 (*.f64 a c) d)))))
#s(approx (+ d b) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 b d))))
#s(approx (+ d c) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 c d))))
#s(approx (+ (* (+ d c) a) (* b a)) (.f64 #s(literal -1 binary64) (.f64 d (fma.f64 #s(literal -1 binary64) a (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 a b (.f64 a c)) d))))))
#s(approx (+ d b) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 b d)) #s(literal 1 binary64)))))
#s(approx (+ d c) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 c d)) #s(literal 1 binary64)))))

Calls

12 calls:

Time	Variable		Point	Expression
19.0ms	d	@	-inf	((+ (* (+ d c) a) (* b a)) (+ (* a b) (* a c)) a b (* a c) c (+ (* (+ d b) a) (* c a)) (+ d b) d (* c a) (+ (* (+ d c) a) (* b a)) (+ d c) (* b a))
5.0ms	d	@	0	((+ (* (+ d c) a) (* b a)) (+ (* a b) (* a c)) a b (* a c) c (+ (* (+ d b) a) (* c a)) (+ d b) d (* c a) (+ (* (+ d c) a) (* b a)) (+ d c) (* b a))
2.0ms	a	@	-inf	((+ (* (+ d c) a) (* b a)) (+ (* a b) (* a c)) a b (* a c) c (+ (* (+ d b) a) (* c a)) (+ d b) d (* c a) (+ (* (+ d c) a) (* b a)) (+ d c) (* b a))
1.0ms	b	@	-inf	((+ (* (+ d c) a) (* b a)) (+ (* a b) (* a c)) a b (* a c) c (+ (* (+ d b) a) (* c a)) (+ d b) d (* c a) (+ (* (+ d c) a) (* b a)) (+ d c) (* b a))
1.0ms	c	@	-inf	((+ (* (+ d c) a) (* b a)) (+ (* a b) (* a c)) a b (* a c) c (+ (* (+ d b) a) (* c a)) (+ d b) d (* c a) (+ (* (+ d c) a) (* b a)) (+ d c) (* b a))

rewrite3.1s (21.5%)

Memory

37.6MiB live, 2 035.3MiB allocated; 483ms collecting garbage

Counts

13 → 45

Calls

Call 1

Inputs
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a c)))
(fma.f64 a b (*.f64 a c))
a
b
(*.f64 a c)
c
(fma.f64 #s(approx (+ d b) d) a (*.f64 c a))
#s(approx (+ d b) d)
d
(*.f64 c a)
(fma.f64 #s(approx (+ d c) d) a (*.f64 b a))
#s(approx (+ d c) d)
(*.f64 b a)

Outputs
#s(approx (* a (+ d (+ b c))) (*.f64 (+.f64 c b) a))
(*.f64 (+.f64 c b) a)
(*.f64 a (+.f64 c b))
(*.f64 (-.f64 (neg.f64 b) c) (neg.f64 a))
(*.f64 (neg.f64 a) (-.f64 (neg.f64 b) c))
(+.f64 (.f64 b a) (.f64 a c))
(+.f64 (.f64 a c) (.f64 b a))
(-.f64 (.f64 b a) (neg.f64 (.f64 a c)))
(-.f64 (.f64 a c) (neg.f64 (.f64 b a)))
(fma.f64 a b (*.f64 a c))
(fma.f64 (neg.f64 a) (neg.f64 c) (*.f64 b a))
(fma.f64 (neg.f64 a) (neg.f64 b) (*.f64 a c))
(fma.f64 (neg.f64 b) (neg.f64 a) (*.f64 a c))
(fma.f64 (neg.f64 c) (neg.f64 a) (*.f64 b a))
(fma.f64 b a (*.f64 a c))
(fma.f64 c a (*.f64 b a))
(fma.f64 a c (*.f64 b a))
(neg.f64 (*.f64 (-.f64 (neg.f64 b) c) a))
a
(neg.f64 (neg.f64 a))
b
(neg.f64 (neg.f64 b))
(*.f64 a c)
(*.f64 c a)
(*.f64 (neg.f64 a) (neg.f64 c))
(*.f64 (neg.f64 c) (neg.f64 a))
(neg.f64 (neg.f64 (*.f64 a c)))
c
(neg.f64 (neg.f64 c))
(fma.f64 #s(approx (+ b d) d) a (*.f64 a c))
#s(approx (+ b d) d)
d
(neg.f64 (neg.f64 d))
(*.f64 a c)
(*.f64 c a)
(*.f64 (neg.f64 a) (neg.f64 c))
(*.f64 (neg.f64 c) (neg.f64 a))
(neg.f64 (neg.f64 (*.f64 a c)))
(fma.f64 #s(approx (+ c d) d) a (*.f64 b a))
#s(approx (+ c d) d)
(*.f64 b a)
(*.f64 a b)
(*.f64 (neg.f64 a) (neg.f64 b))
(*.f64 (neg.f64 b) (neg.f64 a))
(neg.f64 (neg.f64 (*.f64 b a)))

eval8.0ms (0.1%)

Memory: 16.2MiB live, 16.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 545 to 307 computations (43.7% saved)

prune13.0ms (0.1%)

Memory

-30.7MiB live, 15.9MiB allocated; 12ms collecting garbage

Pruning

12 alts after pruning (1 fresh and 11 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	0	0
Picked	0	3	3
Done	0	8	8
Total	84	12	96

Accuracy

100.0%

Counts

96 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.1%	(fma.f64 #s(approx (+ d c) d) a (*.f64 b a))
✓	99.5%	(fma.f64 #s(approx (+ d b) d) a (*.f64 c a))
✓	99.9%	(*.f64 a (+.f64 (+.f64 b c) d))
✓	99.4%	(*.f64 a (+.f64 #s(approx (+ b c) c) d))
✓	93.1%	(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))
✓	7.4%	(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b c)))
	7.4%	#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 c a (*.f64 b a)))
✓	7.4%	#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a c)))
✓	93.1%	#s(approx (+ (* b a) (* (+ d c) a)) (fma.f64 a b (*.f64 a d)))
✓	93.1%	#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
✓	7.4%	#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
✓	5.1%	#s(approx (* a (+ (+ b c) d)) (*.f64 a b))

Compiler

Compiled 190 to 163 computations (14.2% saved)

regimes64.0ms (0.4%)

Memory

22.2MiB live, 68.3MiB allocated; 15ms collecting garbage

Counts

17 → 1

Calls

Call 1

Inputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))
#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b c)))
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b c)))
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))
(*.f64 a (+.f64 #s(approx (+ b c) c) d))
#s(approx (+ (* b a) (* (+ d c) a)) (fma.f64 a b (*.f64 a d)))
#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a b (*.f64 a c)))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a c)))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 c a (*.f64 b a)))
(fma.f64 #s(approx (+ d b) d) a (*.f64 c a))
(fma.f64 #s(approx (+ d c) d) a (*.f64 b a))
(*.f64 a (+.f64 (+.f64 b c) d))
(fma.f64 b a (*.f64 (+.f64 d c) a))
(fma.f64 (+.f64 d b) a (*.f64 c a))
(fma.f64 (+.f64 d c) a (*.f64 b a))

Outputs
(fma.f64 (+.f64 d b) a (*.f64 c a))

Calls

7 calls:

20.0ms	b
15.0ms	(*.f64 a (+.f64 (+.f64 b c) d))
8.0ms	a
5.0ms	(+.f64 b c)
5.0ms	d

Results

Accuracy	Segments	Branch
100.0%	1	`(+.f64 b c)`
100.0%	1	`(+.f64 (+.f64 b c) d)`
100.0%	1	`(*.f64 a (+.f64 (+.f64 b c) d))`
100.0%	1	`a`
100.0%	1	`b`
100.0%	1	`c`
100.0%	1	`d`

Compiler

Compiled 19 to 34 computations (-78.9% saved)

regimes33.0ms (0.2%)

Memory

9.7MiB live, 56.8MiB allocated; 1ms collecting garbage

Counts

15 → 1

Calls

Call 1

Inputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))
#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b c)))
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b c)))
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))
(*.f64 a (+.f64 #s(approx (+ b c) c) d))
#s(approx (+ (* b a) (* (+ d c) a)) (fma.f64 a b (*.f64 a d)))
#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a b (*.f64 a c)))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a c)))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 c a (*.f64 b a)))
(fma.f64 #s(approx (+ d b) d) a (*.f64 c a))
(fma.f64 #s(approx (+ d c) d) a (*.f64 b a))
(*.f64 a (+.f64 (+.f64 b c) d))
(fma.f64 b a (*.f64 (+.f64 d c) a))

Outputs
(*.f64 a (+.f64 (+.f64 b c) d))

Calls

7 calls:

5.0ms	b
5.0ms	d
5.0ms	c
4.0ms	a
4.0ms	(+.f64 (+.f64 b c) d)

Results

Accuracy	Segments	Branch
99.9%	1	`(+.f64 b c)`
99.9%	1	`(+.f64 (+.f64 b c) d)`
99.9%	1	`(*.f64 a (+.f64 (+.f64 b c) d))`
99.9%	1	`a`
99.9%	1	`b`
99.9%	1	`c`
99.9%	1	`d`

Compiler

Compiled 19 to 34 computations (-78.9% saved)

regimes32.0ms (0.2%)

Memory

-1.8MiB live, 50.4MiB allocated; 7ms collecting garbage

Counts

13 → 1

Calls

Call 1

Inputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))
#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b c)))
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b c)))
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))
(*.f64 a (+.f64 #s(approx (+ b c) c) d))
#s(approx (+ (* b a) (* (+ d c) a)) (fma.f64 a b (*.f64 a d)))
#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a b (*.f64 a c)))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a c)))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 c a (*.f64 b a)))
(fma.f64 #s(approx (+ d b) d) a (*.f64 c a))
(fma.f64 #s(approx (+ d c) d) a (*.f64 b a))

Outputs
(fma.f64 #s(approx (+ d b) d) a (*.f64 c a))

Calls

7 calls:

8.0ms	b
4.0ms	a
4.0ms	c
4.0ms	(+.f64 b c)
4.0ms	(*.f64 a (+.f64 (+.f64 b c) d))

Results

Accuracy	Segments	Branch
99.5%	1	`(+.f64 b c)`
99.5%	1	`(+.f64 (+.f64 b c) d)`
99.5%	1	`(*.f64 a (+.f64 (+.f64 b c) d))`
99.5%	1	`a`
99.5%	1	`b`
99.5%	1	`c`
99.5%	1	`d`

Compiler

Compiled 19 to 34 computations (-78.9% saved)

regimes45.0ms (0.3%)

Memory

-16.5MiB live, 65.4MiB allocated; 20ms collecting garbage

Counts

11 → 1

Calls

Call 1

Inputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))
#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b c)))
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b c)))
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))
(*.f64 a (+.f64 #s(approx (+ b c) c) d))
#s(approx (+ (* b a) (* (+ d c) a)) (fma.f64 a b (*.f64 a d)))
#s(approx (+ (* (+ d b) a) (* c a)) (fma.f64 a b (*.f64 a c)))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 a b (*.f64 a c)))
#s(approx (+ (* (+ d c) a) (* b a)) (fma.f64 c a (*.f64 b a)))

Outputs
(*.f64 a (+.f64 #s(approx (+ b c) c) d))

Calls

7 calls:

15.0ms	(+.f64 b c)
10.0ms	c
4.0ms	(+.f64 (+.f64 b c) d)
4.0ms	b
3.0ms	a

Results

Accuracy	Segments	Branch
99.4%	1	`(+.f64 b c)`
99.4%	1	`(+.f64 (+.f64 b c) d)`
99.4%	1	`(*.f64 a (+.f64 (+.f64 b c) d))`
99.4%	1	`a`
99.4%	1	`b`
99.4%	1	`c`
99.4%	1	`d`

Compiler

Compiled 19 to 34 computations (-78.9% saved)

regimes16.0ms (0.1%)

Memory

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

Counts

6 → 1

Calls

Call 1

Inputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))
#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b c)))
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b c)))
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))

Outputs
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b d)))

Calls

7 calls:

2.0ms	d
2.0ms	c
2.0ms	(*.f64 a (+.f64 (+.f64 b c) d))
2.0ms	(+.f64 (+.f64 b c) d)
2.0ms	a

Results

Accuracy	Segments	Branch
93.1%	1	`(+.f64 b c)`
93.1%	1	`(+.f64 (+.f64 b c) d)`
93.1%	1	`(*.f64 a (+.f64 (+.f64 b c) d))`
93.1%	1	`a`
93.1%	1	`b`
93.1%	1	`c`
93.1%	1	`d`

Compiler

Compiled 19 to 34 computations (-78.9% saved)

regimes20.0ms (0.1%)

Memory

-20.9MiB live, 25.4MiB allocated; 6ms collecting garbage

Counts

5 → 1

Calls

Call 1

Inputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))
#s(approx (* a (+ (+ b c) d)) (*.f64 a c))
#s(approx (* a (+ (+ b c) d)) (*.f64 a d))
#s(approx (* a (+ (+ b c) d)) (*.f64 a (+.f64 b c)))
(*.f64 a #s(approx (+ (+ b c) d) (+.f64 b c)))

Outputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a d))

Calls

7 calls:

7.0ms	b
2.0ms	(*.f64 a (+.f64 (+.f64 b c) d))
2.0ms	a
2.0ms	(+.f64 (+.f64 b c) d)
2.0ms	d

Results

Accuracy	Segments	Branch
93.1%	1	`(+.f64 b c)`
93.1%	1	`(+.f64 (+.f64 b c) d)`
93.1%	1	`(*.f64 a (+.f64 (+.f64 b c) d))`
93.1%	1	`c`
93.1%	1	`d`
93.1%	1	`a`
93.1%	1	`b`

Compiler

Compiled 19 to 34 computations (-78.9% saved)

regimes9.0ms (0.1%)

Memory

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

Counts

2 → 1

Calls

Call 1

Inputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))
#s(approx (* a (+ (+ b c) d)) (*.f64 a c))

Outputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a c))

Calls

7 calls:

1.0ms	(*.f64 a (+.f64 (+.f64 b c) d))
1.0ms	c
1.0ms	d
1.0ms	(+.f64 (+.f64 b c) d)
1.0ms	a

Results

Accuracy	Segments	Branch
7.4%	1	`(+.f64 b c)`
7.4%	1	`(+.f64 (+.f64 b c) d)`
7.4%	1	`(*.f64 a (+.f64 (+.f64 b c) d))`
7.4%	1	`c`
7.4%	1	`d`
7.4%	1	`a`
7.4%	1	`b`

Compiler

Compiled 19 to 34 computations (-78.9% saved)

regimes25.0ms (0.2%)

Memory

-37.1MiB live, 16.6MiB allocated; 19ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))

Outputs
#s(approx (* a (+ (+ b c) d)) (*.f64 a b))

Calls

7 calls:

19.0ms	(+.f64 b c)
1.0ms	d
1.0ms	(+.f64 (+.f64 b c) d)
1.0ms	a
1.0ms	c

Results

Accuracy	Segments	Branch
5.1%	1	`(+.f64 (+.f64 b c) d)`
5.1%	1	`(*.f64 a (+.f64 (+.f64 b c) d))`
5.1%	1	`d`
5.1%	1	`(+.f64 b c)`
5.1%	1	`c`
5.1%	1	`b`
5.1%	1	`a`

Compiler

Compiled 19 to 34 computations (-78.9% saved)

derivations1.0ms (0%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 37 to 28 computations (24.3% saved)

preprocess90.0ms (0.6%)

Memory

9.4MiB live, 197.2MiB allocated; 20ms collecting garbage

Remove

(sort b c d)

(negabs a)

Compiler

Compiled 398 to 389 computations (2.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze178.0ms (1.2%)

sample677.0ms (4.7%)

preprocess52.0ms (0.4%)

series101.0ms (0.7%)

rewrite3.1s (21.3%)

eval30.0ms (0.2%)

prune8.0ms (0.1%)

series178.0ms (1.2%)

rewrite3.1s (21.8%)

eval20.0ms (0.1%)

prune6.0ms (0%)

series148.0ms (1%)

rewrite3.1s (21.6%)

eval70.0ms (0.5%)

prune8.0ms (0.1%)

series161.0ms (1.1%)

rewrite3.1s (21.5%)

eval8.0ms (0.1%)

prune13.0ms (0.1%)

regimes64.0ms (0.4%)

regimes33.0ms (0.2%)

regimes32.0ms (0.2%)

regimes45.0ms (0.3%)

regimes16.0ms (0.1%)

regimes20.0ms (0.1%)

regimes9.0ms (0.1%)

regimes25.0ms (0.2%)

derivations1.0ms (0%)

preprocess90.0ms (0.6%)

end0.0ms (0%)

Profiling