Metrics for Expression 1, p15

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

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

Compiler

Compiled 49 to 35 computations (28.6% saved)

sample693.0ms (25.9%)

Memory

25.8MiB live, 891.1MiB allocated; 290ms collecting garbage

Samples

393.0ms

8 256×

valid

Precisions

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

ival-add!: 71.0ms (98.5% of total)

adjust: 2.0ms (2.8% of total)

Bogosity

preprocess152.0ms (5.7%)

Memory

-26.8MiB live, 18.2MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	69	196
1	253	192
2	1261	189
3	4158	189
4	4194	189
5	4194	189
6	5707	189
7	5977	189
8	5978	189
9	5978	189
10	6554	189
11	6554	189

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

Symmetry

(sort a b c d e)

Compiler

Compiled 18 to 18 computations (0% saved)

series14.0ms (0.5%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	201	824

Stop Event

1×	iter-limit

Counts

9 → 46

Calls

Call 1

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

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

Calls

15 calls:

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

rewrite177.0ms (6.6%)

Memory

36.0MiB live, 176.3MiB allocated; 15ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	29
0	13	29
1	93	29
2	365	29
3	1902	29
4	7055	29
0	8441	29
1	10097	29

Stop Event

1×	saturated
1×	node-limit
1×	iter-limit

Counts

9 → 131

Calls

Call 1

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

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

eval15.0ms (0.6%)

Memory: -19.2MiB live, 27.1MiB allocated; 3ms collecting garbage
Compiler: Compiled 1 036 to 507 computations (51.1% saved)

prune15.0ms (0.6%)

Memory

-23.0MiB live, 22.6MiB allocated; 3ms collecting garbage

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	163	8	171
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	163	9	172

Accuracy

100.0%

Counts

172 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.7%	(-.f64 (+.f64 b d) (-.f64 (neg.f64 e) (+.f64 a c)))
	99.6%	(-.f64 d (-.f64 (-.f64 (-.f64 (neg.f64 b) c) a) e))
✓	99.4%	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
▶	99.7%	(+.f64 (+.f64 (+.f64 b d) a) (+.f64 c e))
▶	99.6%	(+.f64 (+.f64 (+.f64 a e) b) (+.f64 c d))
	99.6%	(+.f64 (+.f64 (+.f64 a c) (+.f64 b e)) d)
▶	99.7%	(+.f64 (+.f64 (+.f64 a c) (+.f64 b d)) e)
	99.6%	(+.f64 (+.f64 c (+.f64 d e)) (+.f64 a b))
▶	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))

Compiler

Compiled 165 to 165 computations (0% saved)

series31.0ms (1.2%)

Memory

-0.9MiB live, 48.5MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	456	1798

Stop Event

1×	iter-limit

Counts

23 → 111

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 b d) a) (+.f64 c e))
(+.f64 (+.f64 b d) a)
(+.f64 b d)
b
d
a
(+.f64 c e)
c
e
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
(+.f64 b (+.f64 c (+.f64 d e)))
(+.f64 c (+.f64 d e))
(+.f64 d e)
(+.f64 (+.f64 (+.f64 a c) (+.f64 b d)) e)
(+.f64 (+.f64 a c) (+.f64 b d))
(+.f64 a c)
(+.f64 (+.f64 (+.f64 a e) b) (+.f64 c d))
(+.f64 (+.f64 a e) b)
(+.f64 a e)
(+.f64 c d)
(-.f64 (+.f64 b d) (-.f64 (neg.f64 e) (+.f64 a c)))
(-.f64 (neg.f64 e) (+.f64 a c))
(neg.f64 e)

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

Calls

15 calls:

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

rewrite179.0ms (6.7%)

Memory

7.5MiB live, 196.9MiB allocated; 15ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	114
0	44	113
1	407	113
2	1640	113
3	6599	113
0	8853	113
1	10464	113

Stop Event

1×	saturated
1×	node-limit
1×	iter-limit

Counts

23 → 479

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 b d) a) (+.f64 c e))
(+.f64 (+.f64 b d) a)
(+.f64 b d)
b
d
a
(+.f64 c e)
c
e
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
(+.f64 b (+.f64 c (+.f64 d e)))
(+.f64 c (+.f64 d e))
(+.f64 d e)
(+.f64 (+.f64 (+.f64 a c) (+.f64 b d)) e)
(+.f64 (+.f64 a c) (+.f64 b d))
(+.f64 a c)
(+.f64 (+.f64 (+.f64 a e) b) (+.f64 c d))
(+.f64 (+.f64 a e) b)
(+.f64 a e)
(+.f64 c d)
(-.f64 (+.f64 b d) (-.f64 (neg.f64 e) (+.f64 a c)))
(-.f64 (neg.f64 e) (+.f64 a c))
(neg.f64 e)

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

eval33.0ms (1.2%)

Memory: 27.8MiB live, 70.0MiB allocated; 6ms collecting garbage
Compiler: Compiled 2 188 to 1 120 computations (48.8% saved)

prune32.0ms (1.2%)

Memory

2.4MiB live, 46.7MiB allocated; 7ms collecting garbage

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	353	17	370
Fresh	3	0	3
Picked	4	1	5
Done	0	1	1
Total	360	19	379

Accuracy

100.0%

Counts

379 → 19

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
	99.7%	(+.f64 (+.f64 (+.f64 (+.f64 a b) c) d) e)
	99.7%	(+.f64 (+.f64 (+.f64 e b) c) (+.f64 a d))
	99.7%	(+.f64 (+.f64 (+.f64 e a) c) (+.f64 d b))
▶	99.7%	(+.f64 (+.f64 (+.f64 c b) (+.f64 a d)) e)
▶	99.6%	(+.f64 (+.f64 (+.f64 a b) e) (+.f64 c d))
	25.7%	(+.f64 (+.f64 #s(approx (+ a e) e) b) (+.f64 c d))
▶	25.7%	(+.f64 (+.f64 #s(approx (+ a c) c) (+.f64 b d)) e)
	25.7%	(+.f64 #s(approx (+ (+ b d) a) (+.f64 b d)) (+.f64 c e))
	25.7%	(+.f64 #s(approx (+ (+ a c) (+ b d)) (+.f64 b (+.f64 c d))) e)
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 d (-.f64 (neg.f64 b) (+.f64 e c))))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 c (-.f64 (-.f64 (neg.f64 d) b) e)))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) b) c))
▶	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e c) d) b))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e b) c) d))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e d) (+.f64 c b)))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 c d) e)))
✓	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
▶	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e))))

Compiler

Compiled 416 to 416 computations (0% saved)

series27.0ms (1%)

Memory

-0.1MiB live, 44.0MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	410	1583

Stop Event

1×	iter-limit

Counts

25 → 99

Calls

Call 1

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

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

Calls

15 calls:

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

rewrite195.0ms (7.3%)

Memory

-19.9MiB live, 174.6MiB allocated; 43ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	151
0	49	151
1	435	151
2	1477	151
3	6615	151
0	8359	151
1	10243	151

Stop Event

1×	saturated
1×	node-limit
1×	iter-limit

Counts

25 → 410

Calls

Call 1

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

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

eval44.0ms (1.7%)

Memory: 5.6MiB live, 61.2MiB allocated; 7ms collecting garbage
Compiler: Compiled 2 308 to 1 149 computations (50.2% saved)

prune37.0ms (1.4%)

Memory

14.4MiB live, 59.8MiB allocated; 4ms collecting garbage

Pruning

21 alts after pruning (15 fresh and 6 done)

	Pruned	Kept	Total
New	370	10	380
Fresh	7	5	12
Picked	1	4	5
Done	0	2	2
Total	378	21	399

Accuracy

100.0%

Counts

399 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
▶	99.7%	(+.f64 (+.f64 (+.f64 (+.f64 a b) c) d) e)
	25.7%	(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) e) b) d)
▶	25.7%	(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) b) e)
	99.7%	(+.f64 (+.f64 (+.f64 e b) c) (+.f64 d a))
	99.7%	(+.f64 (+.f64 (+.f64 e a) c) (+.f64 d b))
	25.7%	(+.f64 (+.f64 (+.f64 d b) e) #s(approx (+ a c) c))
✓	99.7%	(+.f64 (+.f64 (+.f64 c b) (+.f64 a d)) e)
✓	99.6%	(+.f64 (+.f64 (+.f64 a b) e) (+.f64 c d))
	25.7%	(+.f64 (+.f64 #s(approx (+ a e) e) b) (+.f64 c d))
✓	25.7%	(+.f64 (+.f64 #s(approx (+ a c) c) (+.f64 b d)) e)
▶	25.7%	(+.f64 (+.f64 #s(approx (+ a c) c) b) (+.f64 e d))
	25.7%	(+.f64 (+.f64 e (+.f64 #s(approx (+ a c) c) d)) b)
	25.7%	(+.f64 d (-.f64 (+.f64 #s(approx (+ a c) c) b) (neg.f64 e)))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) b) c))
▶	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e b) c) d))
✓	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 e c) d)))
	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 d c) e)))
✓	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e))))
▶	21.1%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 d e))))

Compiler

Compiled 414 to 410 computations (1% saved)

series62.0ms (2.3%)

Memory

-14.8MiB live, 31.9MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	401	1562

Stop Event

1×	iter-limit

Counts

24 → 92

Calls

Call 1

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

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

Calls

15 calls:

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

rewrite205.0ms (7.7%)

Memory

29.5MiB live, 171.9MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	170
0	46	170
1	393	170
2	1394	170
3	5769	170
0	8652	170
1	10416	170

Stop Event

1×	saturated
1×	node-limit
1×	iter-limit

Counts

24 → 334

Calls

Call 1

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

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

eval46.0ms (1.7%)

Memory: 6.1MiB live, 52.0MiB allocated; 2ms collecting garbage
Compiler: Compiled 2 335 to 1 150 computations (50.7% saved)

prune65.0ms (2.4%)

Memory

-35.4MiB live, 59.8MiB allocated; 15ms collecting garbage

Pruning

21 alts after pruning (10 fresh and 11 done)

	Pruned	Kept	Total
New	362	4	366
Fresh	4	6	10
Picked	0	5	5
Done	0	6	6
Total	366	21	387

Accuracy

100.0%

Counts

387 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
✓	99.7%	(+.f64 (+.f64 (+.f64 (+.f64 a b) c) d) e)
	25.7%	(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) e) b) d)
	25.7%	(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) e) b)
✓	25.7%	(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) b) e)
	25.7%	(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) b) e) d)
	25.7%	(+.f64 (+.f64 (+.f64 e d) b) #s(approx (+ a c) c))
	99.7%	(+.f64 (+.f64 (+.f64 e b) c) (+.f64 d a))
	99.7%	(+.f64 (+.f64 (+.f64 e a) c) (+.f64 d b))
	25.7%	(+.f64 (+.f64 (+.f64 d b) e) #s(approx (+ a c) c))
✓	99.7%	(+.f64 (+.f64 (+.f64 c b) (+.f64 a d)) e)
✓	99.6%	(+.f64 (+.f64 (+.f64 a b) e) (+.f64 c d))
	25.7%	(+.f64 (+.f64 #s(approx (+ a e) e) b) (+.f64 c d))
✓	25.7%	(+.f64 (+.f64 #s(approx (+ a c) c) (+.f64 b d)) e)
✓	25.7%	(+.f64 (+.f64 #s(approx (+ a c) c) b) (+.f64 e d))
✓	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e b) c) d))
	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 #s(approx (+ e b) e) c) d))
✓	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 d c) e)))
✓	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e))))
✓	21.1%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 d e))))

Compiler

Compiled 437 to 367 computations (16% saved)

regimes119.0ms (4.4%)

Memory

10.2MiB live, 206.4MiB allocated; 28ms collecting garbage

Counts

40 → 1

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 d c) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 e c) d)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 #s(approx (+ e b) e) c) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 c d) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e d) (+.f64 c b)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e b) c) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e c) d) b))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) b) c))
(+.f64 #s(approx (+ (+ a c) (+ b d)) (+.f64 b (+.f64 c d))) e)
(+.f64 #s(approx (+ (+ b d) a) (+.f64 b d)) (+.f64 c e))
(+.f64 (+.f64 e (+.f64 #s(approx (+ a c) c) d)) b)
(+.f64 (+.f64 #s(approx (+ a c) c) b) (+.f64 e d))
(+.f64 (+.f64 #s(approx (+ a c) c) (+.f64 b d)) e)
(+.f64 (+.f64 #s(approx (+ a e) e) b) (+.f64 c d))
(+.f64 (+.f64 (+.f64 d b) e) #s(approx (+ a c) c))
(+.f64 (+.f64 (+.f64 e d) b) #s(approx (+ a c) c))
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) b) e) d)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) b) e)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) e) b)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) e) b) d)
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 c (-.f64 (-.f64 (neg.f64 d) b) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 d (-.f64 (neg.f64 b) (+.f64 e c))))
(+.f64 d (-.f64 (+.f64 #s(approx (+ a c) c) b) (neg.f64 e)))
(+.f64 (+.f64 c (+.f64 d e)) (+.f64 a b))
(+.f64 (+.f64 (+.f64 a b) e) (+.f64 c d))
(+.f64 (+.f64 (+.f64 a c) (+.f64 b d)) e)
(+.f64 (+.f64 (+.f64 a c) (+.f64 b e)) d)
(+.f64 (+.f64 (+.f64 a e) b) (+.f64 c d))
(+.f64 (+.f64 (+.f64 b d) a) (+.f64 c e))
(+.f64 (+.f64 (+.f64 c b) (+.f64 a d)) e)
(+.f64 (+.f64 (+.f64 e a) c) (+.f64 d b))
(+.f64 (+.f64 (+.f64 e b) c) (+.f64 a d))
(+.f64 (+.f64 (+.f64 e b) c) (+.f64 d a))
(+.f64 (+.f64 (+.f64 (+.f64 a b) c) d) e)
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(-.f64 d (-.f64 (-.f64 (-.f64 (neg.f64 b) c) a) e))
(-.f64 (+.f64 b d) (-.f64 (neg.f64 e) (+.f64 a c)))

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

Calls

9 calls:

25.0ms	c
16.0ms	(+.f64 e d)
13.0ms	a
13.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
10.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

Results

Accuracy	Segments	Branch
99.7%	1	`(+.f64 e d)`
99.7%	1	`(+.f64 (+.f64 e d) c)`
99.7%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
99.7%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
99.7%	1	`a`
99.7%	1	`b`
99.7%	1	`c`
99.7%	1	`d`
99.7%	1	`e`

Compiler

Compiled 29 to 55 computations (-89.7% saved)

regimes84.0ms (3.1%)

Memory

-9.4MiB live, 179.8MiB allocated; 10ms collecting garbage

Counts

31 → 1

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 d c) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 e c) d)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 #s(approx (+ e b) e) c) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 c d) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e d) (+.f64 c b)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e b) c) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e c) d) b))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) b) c))
(+.f64 #s(approx (+ (+ a c) (+ b d)) (+.f64 b (+.f64 c d))) e)
(+.f64 #s(approx (+ (+ b d) a) (+.f64 b d)) (+.f64 c e))
(+.f64 (+.f64 e (+.f64 #s(approx (+ a c) c) d)) b)
(+.f64 (+.f64 #s(approx (+ a c) c) b) (+.f64 e d))
(+.f64 (+.f64 #s(approx (+ a c) c) (+.f64 b d)) e)
(+.f64 (+.f64 #s(approx (+ a e) e) b) (+.f64 c d))
(+.f64 (+.f64 (+.f64 d b) e) #s(approx (+ a c) c))
(+.f64 (+.f64 (+.f64 e d) b) #s(approx (+ a c) c))
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) b) e) d)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) b) e)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) e) b)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) e) b) d)
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 c (-.f64 (-.f64 (neg.f64 d) b) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 d (-.f64 (neg.f64 b) (+.f64 e c))))
(+.f64 d (-.f64 (+.f64 #s(approx (+ a c) c) b) (neg.f64 e)))
(+.f64 (+.f64 c (+.f64 d e)) (+.f64 a b))
(+.f64 (+.f64 (+.f64 a b) e) (+.f64 c d))
(+.f64 (+.f64 (+.f64 a c) (+.f64 b d)) e)
(+.f64 (+.f64 (+.f64 a c) (+.f64 b e)) d)
(+.f64 (+.f64 (+.f64 a e) b) (+.f64 c d))

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

Calls

9 calls:

16.0ms	(+.f64 e d)
9.0ms	e
9.0ms	c
9.0ms	a
8.0ms	d

Results

Accuracy	Segments	Branch
99.7%	1	`(+.f64 e d)`
99.7%	1	`(+.f64 (+.f64 e d) c)`
99.7%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
99.7%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
99.7%	1	`a`
99.7%	1	`b`
99.7%	1	`c`
99.7%	1	`d`
99.7%	1	`e`

Compiler

Compiled 29 to 55 computations (-89.7% saved)

regimes99.0ms (3.7%)

Memory

10.8MiB live, 148.3MiB allocated; 12ms collecting garbage

Counts

28 → 1

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 d c) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 e c) d)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 #s(approx (+ e b) e) c) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 c d) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e d) (+.f64 c b)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e b) c) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e c) d) b))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) b) c))
(+.f64 #s(approx (+ (+ a c) (+ b d)) (+.f64 b (+.f64 c d))) e)
(+.f64 #s(approx (+ (+ b d) a) (+.f64 b d)) (+.f64 c e))
(+.f64 (+.f64 e (+.f64 #s(approx (+ a c) c) d)) b)
(+.f64 (+.f64 #s(approx (+ a c) c) b) (+.f64 e d))
(+.f64 (+.f64 #s(approx (+ a c) c) (+.f64 b d)) e)
(+.f64 (+.f64 #s(approx (+ a e) e) b) (+.f64 c d))
(+.f64 (+.f64 (+.f64 d b) e) #s(approx (+ a c) c))
(+.f64 (+.f64 (+.f64 e d) b) #s(approx (+ a c) c))
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) b) e) d)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) b) e)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) e) b)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) e) b) d)
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 c (-.f64 (-.f64 (neg.f64 d) b) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 d (-.f64 (neg.f64 b) (+.f64 e c))))
(+.f64 d (-.f64 (+.f64 #s(approx (+ a c) c) b) (neg.f64 e)))
(+.f64 (+.f64 c (+.f64 d e)) (+.f64 a b))
(+.f64 (+.f64 (+.f64 a b) e) (+.f64 c d))

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

Calls

9 calls:

35.0ms	b
10.0ms	(+.f64 e d)
10.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
7.0ms	e
7.0ms	a

Results

Accuracy	Segments	Branch
99.6%	1	`(+.f64 e d)`
99.6%	1	`(+.f64 (+.f64 e d) c)`
99.6%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
99.6%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
99.6%	1	`a`
99.6%	1	`b`
99.6%	1	`c`
99.6%	1	`d`
99.6%	1	`e`

Compiler

Compiled 29 to 55 computations (-89.7% saved)

regimes77.0ms (2.9%)

Memory

11.5MiB live, 149.7MiB allocated; 19ms collecting garbage

Counts

27 → 1

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 d c) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 e c) d)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 #s(approx (+ e b) e) c) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 c d) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e d) (+.f64 c b)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e b) c) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e c) d) b))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) b) c))
(+.f64 #s(approx (+ (+ a c) (+ b d)) (+.f64 b (+.f64 c d))) e)
(+.f64 #s(approx (+ (+ b d) a) (+.f64 b d)) (+.f64 c e))
(+.f64 (+.f64 e (+.f64 #s(approx (+ a c) c) d)) b)
(+.f64 (+.f64 #s(approx (+ a c) c) b) (+.f64 e d))
(+.f64 (+.f64 #s(approx (+ a c) c) (+.f64 b d)) e)
(+.f64 (+.f64 #s(approx (+ a e) e) b) (+.f64 c d))
(+.f64 (+.f64 (+.f64 d b) e) #s(approx (+ a c) c))
(+.f64 (+.f64 (+.f64 e d) b) #s(approx (+ a c) c))
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) b) e) d)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) b) e)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) e) b)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) e) b) d)
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 c (-.f64 (-.f64 (neg.f64 d) b) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 d (-.f64 (neg.f64 b) (+.f64 e c))))
(+.f64 d (-.f64 (+.f64 #s(approx (+ a c) c) b) (neg.f64 e)))
(+.f64 (+.f64 c (+.f64 d e)) (+.f64 a b))

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

Calls

9 calls:

15.0ms	d
10.0ms	a
9.0ms	(+.f64 (+.f64 e d) c)
7.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
7.0ms	e

Results

Accuracy	Segments	Branch
99.6%	1	`(+.f64 e d)`
99.6%	1	`(+.f64 (+.f64 e d) c)`
99.6%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
99.6%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
99.6%	1	`a`
99.6%	1	`b`
99.6%	1	`c`
99.6%	1	`d`
99.6%	1	`e`

Compiler

Compiled 29 to 55 computations (-89.7% saved)

regimes74.0ms (2.8%)

Memory

1.3MiB live, 139.2MiB allocated; 21ms collecting garbage

Counts

26 → 1

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 d c) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 e c) d)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 #s(approx (+ e b) e) c) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 c d) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e d) (+.f64 c b)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e b) c) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e c) d) b))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) b) c))
(+.f64 #s(approx (+ (+ a c) (+ b d)) (+.f64 b (+.f64 c d))) e)
(+.f64 #s(approx (+ (+ b d) a) (+.f64 b d)) (+.f64 c e))
(+.f64 (+.f64 e (+.f64 #s(approx (+ a c) c) d)) b)
(+.f64 (+.f64 #s(approx (+ a c) c) b) (+.f64 e d))
(+.f64 (+.f64 #s(approx (+ a c) c) (+.f64 b d)) e)
(+.f64 (+.f64 #s(approx (+ a e) e) b) (+.f64 c d))
(+.f64 (+.f64 (+.f64 d b) e) #s(approx (+ a c) c))
(+.f64 (+.f64 (+.f64 e d) b) #s(approx (+ a c) c))
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) b) e) d)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) b) e)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) d) e) b)
(+.f64 (+.f64 (+.f64 #s(approx (+ a c) c) e) b) d)
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 c (-.f64 (-.f64 (neg.f64 d) b) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 d (-.f64 (neg.f64 b) (+.f64 e c))))
(+.f64 d (-.f64 (+.f64 #s(approx (+ a c) c) b) (neg.f64 e)))

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

Calls

9 calls:

14.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
10.0ms	(+.f64 e d)
10.0ms	d
7.0ms	a
7.0ms	b

Results

Accuracy	Segments	Branch
25.7%	1	`(+.f64 e d)`
25.7%	1	`(+.f64 (+.f64 e d) c)`
25.7%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
25.7%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
25.7%	1	`a`
25.7%	1	`b`
25.7%	1	`c`
25.7%	1	`d`
25.7%	1	`e`

Compiler

Compiled 29 to 55 computations (-89.7% saved)

regimes21.0ms (0.8%)

Memory

11.2MiB live, 57.1MiB allocated; 4ms collecting garbage

Counts

5 → 1

Calls

Call 1

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

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

Calls

9 calls:

5.0ms	d
2.0ms	e
2.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
2.0ms	b
2.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

Results

Accuracy	Segments	Branch
23.2%	1	`c`
23.2%	1	`(+.f64 (+.f64 e d) c)`
23.2%	1	`b`
23.2%	1	`d`
23.2%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
23.2%	1	`a`
23.2%	1	`(+.f64 e d)`
23.2%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
23.2%	1	`e`

Compiler

Compiled 29 to 55 computations (-89.7% saved)

regimes11.0ms (0.4%)

Memory

-9.0MiB live, 37.7MiB allocated; 2ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

9 calls:

3.0ms	b
1.0ms	c
1.0ms	e
1.0ms	a
1.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

Results

Accuracy	Segments	Branch
21.1%	1	`e`
21.1%	1	`(+.f64 e d)`
21.1%	1	`(+.f64 (+.f64 e d) c)`
21.1%	1	`b`
21.1%	1	`d`
21.1%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
21.1%	1	`a`
21.1%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
21.1%	1	`c`

Compiler

Compiled 29 to 55 computations (-89.7% saved)

derivations116.0ms (4.3%)

Memory

-10.8MiB live, 188.0MiB allocated; 26ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 42 to 33 computations (21.4% saved)

preprocess52.0ms (1.9%)

Memory: -8.2MiB live, 185.0MiB allocated; 9ms collecting garbage
Remove: (sort a b c d e)
Compiler: Compiled 226 to 213 computations (5.8% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample693.0ms (25.9%)

preprocess152.0ms (5.7%)

series14.0ms (0.5%)

rewrite177.0ms (6.6%)

eval15.0ms (0.6%)

prune15.0ms (0.6%)

series31.0ms (1.2%)

rewrite179.0ms (6.7%)

eval33.0ms (1.2%)

prune32.0ms (1.2%)

series27.0ms (1%)

rewrite195.0ms (7.3%)

eval44.0ms (1.7%)

prune37.0ms (1.4%)

series62.0ms (2.3%)

rewrite205.0ms (7.7%)

eval46.0ms (1.7%)

prune65.0ms (2.4%)

regimes119.0ms (4.4%)

regimes84.0ms (3.1%)

regimes99.0ms (3.7%)

regimes77.0ms (2.9%)

regimes74.0ms (2.8%)

regimes21.0ms (0.8%)

regimes11.0ms (0.4%)

derivations116.0ms (4.3%)

preprocess52.0ms (1.9%)

end0.0ms (0%)

Profiling