Metrics for Expression 1, p15

start0.0ms (0%)

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

analyze1.0ms (0%)

Memory

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

sample640.0ms (38.4%)

Memory

9.7MiB live, 762.1MiB allocated; 245ms collecting garbage

Samples

362.0ms

8 256×

valid

Precisions

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

ival-add!: 85.0ms (98.1% of total)

adjust: 1.0ms (1.2% of total)

Bogosity

preprocess27.0ms (1.6%)

Memory

6.9MiB live, 53.2MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	69	196
1	253	192
2	1261	189

Stop Event

1×	node-limit

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)

series16.0ms (1%)

Memory

35.0MiB live, 35.0MiB 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
1.0ms	d	-inf
1.0ms	e	-inf
1.0ms	a	-inf
1.0ms	c	-inf
0.0ms	b	-inf

rewrite47.0ms (2.8%)

Memory

-12.3MiB live, 84.1MiB allocated; 16ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	29
0	13	29
1	31	29
2	132	29
3	601	29
4	1439	29
5	1582	29
0	1582	29

Stop Event

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

Counts

9 → 113

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 d) a) b) c) e))
(-.f64 (+.f64 (+.f64 a c) d) (-.f64 (neg.f64 e) b))
(-.f64 (+.f64 a c) (-.f64 (-.f64 (neg.f64 e) d) b))
(-.f64 (+.f64 b d) (-.f64 (-.f64 (neg.f64 c) a) e))
(-.f64 (+.f64 (+.f64 a e) b) (-.f64 (neg.f64 c) d))
(-.f64 (+.f64 (+.f64 a d) b) (-.f64 (neg.f64 e) c))
(-.f64 (+.f64 a d) (-.f64 (-.f64 (neg.f64 b) c) e))
(-.f64 (+.f64 (+.f64 (+.f64 a e) c) b) (neg.f64 d))
(-.f64 (+.f64 (+.f64 a e) c) (-.f64 (neg.f64 b) d))
(-.f64 (+.f64 a e) (-.f64 (-.f64 (neg.f64 c) d) b))
(-.f64 (+.f64 b e) (-.f64 (-.f64 (neg.f64 d) a) c))
(-.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 c e) (-.f64 (-.f64 (neg.f64 d) a) b))
(-.f64 (+.f64 b (+.f64 d e)) (-.f64 (neg.f64 c) a))
(-.f64 (+.f64 a (+.f64 c (+.f64 d e))) (neg.f64 b))
(-.f64 (+.f64 (+.f64 b c) d) (-.f64 (neg.f64 e) a))
(-.f64 (+.f64 (+.f64 b c) a) (-.f64 (neg.f64 e) d))
(-.f64 (+.f64 b c) (-.f64 (-.f64 (neg.f64 e) a) d))
(-.f64 (+.f64 c d) (-.f64 (-.f64 (neg.f64 e) a) b))
(-.f64 (+.f64 a b) (-.f64 (-.f64 (neg.f64 e) c) d))
(-.f64 a (-.f64 (-.f64 (-.f64 (neg.f64 e) d) b) c))
(-.f64 (+.f64 b (+.f64 c (+.f64 d e))) (neg.f64 a))
(-.f64 b (-.f64 (-.f64 (-.f64 (neg.f64 c) a) e) d))
(-.f64 (+.f64 c (+.f64 d e)) (-.f64 (neg.f64 b) a))
(-.f64 c (-.f64 (-.f64 (-.f64 (neg.f64 e) a) d) b))
(-.f64 (+.f64 d e) (-.f64 (-.f64 (neg.f64 b) c) a))
(-.f64 d (-.f64 (-.f64 (-.f64 (neg.f64 b) c) e) a))
(-.f64 e (-.f64 (-.f64 (-.f64 (neg.f64 d) a) b) c))
(+.f64 (+.f64 (+.f64 a c) d) (+.f64 b e))
(+.f64 (+.f64 a c) (+.f64 b (+.f64 d e)))
(+.f64 (+.f64 b d) (+.f64 (+.f64 a e) c))
(+.f64 (+.f64 (+.f64 a e) b) (+.f64 c d))
(+.f64 (+.f64 (+.f64 a d) b) (+.f64 c e))
(+.f64 (+.f64 a d) (+.f64 (+.f64 c e) b))
(+.f64 (+.f64 (+.f64 (+.f64 a e) c) b) d)
(+.f64 (+.f64 (+.f64 a e) c) (+.f64 b d))
(+.f64 (+.f64 a e) (+.f64 (+.f64 b c) 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 c e) (+.f64 (+.f64 a d) b))
(+.f64 (+.f64 b (+.f64 d e)) (+.f64 a c))
(+.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 (+.f64 a e) c) b))
(+.f64 e (+.f64 (+.f64 (+.f64 b c) d) a))
(neg.f64 (-.f64 (-.f64 (-.f64 (neg.f64 e) d) b) c))
(-.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 c e) (-.f64 (neg.f64 b) d))
(-.f64 (+.f64 b (+.f64 d e)) (neg.f64 c))
(-.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) c) d))
(-.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 (-.f64 (neg.f64 b) c) e))
(-.f64 e (-.f64 (-.f64 (neg.f64 c) d) b))
(+.f64 (+.f64 b d) (+.f64 c e))
(+.f64 (+.f64 b e) (+.f64 c d))
(+.f64 (+.f64 (+.f64 c e) b) d)
(+.f64 (+.f64 c e) (+.f64 b d))
(+.f64 (+.f64 b (+.f64 d e)) c)
(+.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) c) d))
(-.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

eval16.0ms (0.9%)

Memory: -7.4MiB live, 37.3MiB allocated; 7ms collecting garbage
Compiler: Compiled 1 969 to 472 computations (76% saved)

prune11.0ms (0.7%)

Memory

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

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	146	7	153
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	146	8	154

Accuracy

100.0%

Counts

154 → 8

Alt Table

Click to see full alt table

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

Compiler

Compiled 185 to 163 computations (11.9% saved)

series23.0ms (1.4%)

Memory

-3.0MiB live, 42.4MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	353	1369

Stop Event

1×	iter-limit

Counts

20 → 83

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 b c) d) (+.f64 a e))
(+.f64 (+.f64 b c) d)
(+.f64 b c)
b
c
d
(+.f64 a e)
a
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 e) c) (+.f64 b d))
(+.f64 (+.f64 a e) c)
(+.f64 b d)
(+.f64 (+.f64 (+.f64 b c) a) (+.f64 d e))
(+.f64 (+.f64 b c) a)
(+.f64 (+.f64 (+.f64 (+.f64 b c) d) e) a)
(+.f64 (+.f64 (+.f64 b c) d) e)

Outputs
#s(approx (+ (+ (+ b c) d) (+ a e)) (+.f64 b (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ b c) d) (+ a e)) (+.f64 a (+.f64 b (+.f64 c (+.f64 d e)))))
#s(approx (+ a e) e)
#s(approx (+ a e) (+.f64 a e))
#s(approx a a)
#s(approx (+ (+ a e) c) (+.f64 c e))
#s(approx (+ (+ a e) c) (+.f64 a (+.f64 c e)))
#s(approx (+ (+ b c) a) (+.f64 b c))
#s(approx (+ (+ b c) a) (+.f64 a (+.f64 b c)))
#s(approx (+ (+ (+ b c) d) (+ a 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 e) (*.f64 a (+.f64 #s(literal 1 binary64) (/.f64 e a))))
#s(approx (+ (+ a e) c) (*.f64 a (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 c a) (/.f64 e a)))))
#s(approx (+ (+ b c) a) (*.f64 a (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b a) (/.f64 c a)))))
#s(approx (+ (+ (+ b c) d) (+ a 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 e) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 e a)) #s(literal 1 binary64)))))
#s(approx (+ (+ a e) c) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 c e) a)) #s(literal 1 binary64)))))
#s(approx (+ (+ b c) a) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 b c) a)) #s(literal 1 binary64)))))
#s(approx (+ (+ (+ b c) d) (+ a e)) (+.f64 a (+.f64 c (+.f64 d e))))
#s(approx (+ (+ b c) d) (+.f64 c d))
#s(approx (+ (+ b c) d) (+.f64 b (+.f64 c d)))
#s(approx (+ b c) c)
#s(approx b b)
#s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e)))
#s(approx (+ b d) d)
#s(approx (+ b d) (+.f64 b d))
#s(approx (+ (+ b c) a) (+.f64 a c))
#s(approx (+ (+ (+ b c) d) (+ a 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 c) d) (*.f64 b (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 c b) (/.f64 d b)))))
#s(approx (+ b c) (*.f64 b (+.f64 #s(literal 1 binary64) (/.f64 c b))))
#s(approx (+ 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 (+ (+ b c) a) (*.f64 b (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 a b) (/.f64 c b)))))
#s(approx (+ (+ (+ b c) d) (+ a 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 c) d) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 c d) b)) #s(literal 1 binary64)))))
#s(approx (+ b c) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 c b)) #s(literal 1 binary64)))))
#s(approx (+ 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 (+ (+ b c) a) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 a c) b)) #s(literal 1 binary64)))))
#s(approx (+ (+ (+ b c) d) (+ a e)) (+.f64 a (+.f64 b (+.f64 d e))))
#s(approx (+ b (+ c (+ d e))) (+.f64 b (+.f64 d e)))
#s(approx (+ c (+ d e)) (+.f64 d e))
#s(approx (+ (+ b c) a) (+.f64 a b))
#s(approx (+ (+ (+ b c) d) (+ a 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 (+ (+ b c) d) (*.f64 c (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b c) (/.f64 d c)))))
#s(approx (+ b c) (*.f64 c (+.f64 #s(literal 1 binary64) (/.f64 b c))))
#s(approx (+ 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 e) c) (*.f64 c (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 a c) (/.f64 e c)))))
#s(approx (+ (+ b c) a) (*.f64 c (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 a c) (/.f64 b c)))))
#s(approx (+ (+ (+ b c) d) (+ a 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 (+ (+ b c) d) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 b d) c)) #s(literal 1 binary64)))))
#s(approx (+ b c) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 b c)) #s(literal 1 binary64)))))
#s(approx (+ 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 e) c) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 a e) c)) #s(literal 1 binary64)))))
#s(approx (+ (+ b c) a) (.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) (+ a e)) (+.f64 a (+.f64 b (+.f64 c e))))
#s(approx (+ b (+ c (+ d e))) (+.f64 b (+.f64 c e)))
#s(approx (+ (+ (+ b c) d) (+ a 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 c) d) (*.f64 d (+.f64 #s(literal 1 binary64) (+.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 (+ b d) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 b d))))
#s(approx (+ (+ (+ b c) d) (+ a 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 c) d) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 b c) d)) #s(literal 1 binary64)))))
#s(approx (+ 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 (+ (+ (+ b c) d) (+ a e)) (+.f64 a (+.f64 b (+.f64 c d))))
#s(approx (+ (+ (+ b c) d) (+ a 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 (+ a e) (*.f64 e (+.f64 #s(literal 1 binary64) (/.f64 a 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) c) (*.f64 e (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 a e) (/.f64 c e)))))
#s(approx (+ (+ (+ b c) d) (+ a 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 (+ a e) (.f64 #s(literal -1 binary64) (.f64 e (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 a 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) c) (.f64 #s(literal -1 binary64) (.f64 e (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 a c) e)) #s(literal 1 binary64)))))

Calls

15 calls:

Time	Variable	Point
4.0ms	b	inf
1.0ms	c	-inf
1.0ms	d	inf
1.0ms	b	-inf
1.0ms	e	-inf

rewrite40.0ms (2.4%)

Memory

2.7MiB live, 47.3MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	104
0	38	104
1	111	104
2	458	104
3	1390	104
4	1677	104
0	1677	104

Stop Event

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

Counts

20 → 380

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 b c) d) (+.f64 a e))
(+.f64 (+.f64 b c) d)
(+.f64 b c)
b
c
d
(+.f64 a e)
a
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 e) c) (+.f64 b d))
(+.f64 (+.f64 a e) c)
(+.f64 b d)
(+.f64 (+.f64 (+.f64 b c) a) (+.f64 d e))
(+.f64 (+.f64 b c) a)
(+.f64 (+.f64 (+.f64 (+.f64 b c) d) e) a)
(+.f64 (+.f64 (+.f64 b c) d) e)

Outputs
(neg.f64 (-.f64 (-.f64 (-.f64 (-.f64 (neg.f64 b) d) e) a) c))
(-.f64 (+.f64 (+.f64 a d) b) (-.f64 (neg.f64 e) c))
(-.f64 (+.f64 (+.f64 e b) a) (-.f64 (neg.f64 d) c))
(-.f64 (+.f64 (+.f64 a d) c) (-.f64 (neg.f64 e) b))
(-.f64 (+.f64 e b) (-.f64 (-.f64 (neg.f64 d) a) c))
(-.f64 (+.f64 (+.f64 (+.f64 d b) e) a) (neg.f64 c))
(-.f64 (+.f64 (+.f64 e c) b) (-.f64 (neg.f64 d) a))
(-.f64 (+.f64 (+.f64 d b) e) (-.f64 (neg.f64 c) a))
(-.f64 (+.f64 a d) (-.f64 (-.f64 (neg.f64 e) c) b))
(-.f64 (+.f64 (+.f64 (+.f64 e d) a) c) (neg.f64 b))
(-.f64 (+.f64 (+.f64 a (+.f64 c b)) d) (neg.f64 e))
(-.f64 (+.f64 (+.f64 a (+.f64 c b)) e) (neg.f64 d))
(-.f64 (+.f64 a b) (-.f64 (-.f64 (neg.f64 e) c) d))
(-.f64 (+.f64 d c) (-.f64 (-.f64 (neg.f64 e) b) a))
(-.f64 (+.f64 (+.f64 e d) a) (-.f64 (neg.f64 b) c))
(-.f64 (+.f64 e c) (-.f64 (-.f64 (neg.f64 d) a) b))
(-.f64 (+.f64 a c) (-.f64 (-.f64 (neg.f64 b) d) e))
(-.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a))
(-.f64 (+.f64 a (+.f64 c b)) (-.f64 (neg.f64 d) e))
(-.f64 (+.f64 d b) (-.f64 (-.f64 (neg.f64 c) a) e))
(-.f64 (+.f64 (+.f64 e a) c) (-.f64 (neg.f64 b) d))
(-.f64 (+.f64 (+.f64 e d) c) (-.f64 (neg.f64 b) a))
(-.f64 (+.f64 e d) (-.f64 (-.f64 (neg.f64 b) a) c))
(-.f64 (+.f64 e a) (-.f64 (-.f64 (neg.f64 b) d) c))
(-.f64 e (-.f64 (-.f64 (-.f64 (neg.f64 b) a) c) d))
(-.f64 a (-.f64 (-.f64 (-.f64 (neg.f64 b) d) c) e))
(-.f64 (+.f64 d (+.f64 c b)) (-.f64 (neg.f64 a) e))
(-.f64 d (-.f64 (-.f64 (-.f64 (neg.f64 e) c) b) a))
(-.f64 (+.f64 c b) (-.f64 (-.f64 (neg.f64 a) e) d))
(-.f64 c (-.f64 (-.f64 (-.f64 (neg.f64 b) d) e) a))
(-.f64 b (-.f64 (-.f64 (-.f64 (neg.f64 c) a) e) d))
(+.f64 (+.f64 (+.f64 a d) b) (+.f64 e c))
(+.f64 (+.f64 (+.f64 e b) a) (+.f64 d c))
(+.f64 (+.f64 (+.f64 a d) c) (+.f64 e b))
(+.f64 (+.f64 e b) (+.f64 (+.f64 a d) c))
(+.f64 (+.f64 (+.f64 (+.f64 d b) e) a) c)
(+.f64 (+.f64 (+.f64 e c) b) (+.f64 a d))
(+.f64 (+.f64 (+.f64 d b) e) (+.f64 a c))
(+.f64 (+.f64 a d) (+.f64 (+.f64 e c) b))
(+.f64 (+.f64 (+.f64 (+.f64 e d) a) c) b)
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) d) e)
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) e) d)
(+.f64 (+.f64 a b) (+.f64 (+.f64 e d) c))
(+.f64 (+.f64 d c) (+.f64 (+.f64 e b) a))
(+.f64 (+.f64 (+.f64 e d) a) (+.f64 c b))
(+.f64 (+.f64 e c) (+.f64 (+.f64 a d) b))
(+.f64 (+.f64 a c) (+.f64 (+.f64 d b) e))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 a (+.f64 c b)) (+.f64 e d))
(+.f64 (+.f64 d b) (+.f64 (+.f64 e a) c))
(+.f64 (+.f64 (+.f64 e a) c) (+.f64 d b))
(+.f64 (+.f64 (+.f64 e d) c) (+.f64 a b))
(+.f64 (+.f64 e d) (+.f64 a (+.f64 c b)))
(+.f64 (+.f64 e a) (+.f64 d (+.f64 c b)))
(+.f64 e (+.f64 (+.f64 a (+.f64 c b)) d))
(+.f64 a (+.f64 (+.f64 (+.f64 e d) c) b))
(+.f64 (+.f64 d (+.f64 c b)) (+.f64 e a))
(+.f64 d (+.f64 (+.f64 a (+.f64 c b)) e))
(+.f64 (+.f64 c b) (+.f64 (+.f64 e d) a))
(+.f64 c (+.f64 (+.f64 (+.f64 d b) e) a))
(+.f64 b (+.f64 (+.f64 (+.f64 e d) a) c))
(neg.f64 (-.f64 (-.f64 (neg.f64 b) d) c))
(-.f64 (+.f64 d c) (neg.f64 b))
(-.f64 (+.f64 d b) (neg.f64 c))
(-.f64 d (-.f64 (neg.f64 b) c))
(-.f64 (+.f64 c b) (neg.f64 d))
(-.f64 c (-.f64 (neg.f64 b) d))
(-.f64 b (-.f64 (neg.f64 d) c))
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d b) c)
(+.f64 d (+.f64 c b))
(+.f64 (+.f64 c b) d)
(+.f64 c (+.f64 d b))
(+.f64 b (+.f64 d c))
(neg.f64 (-.f64 (neg.f64 b) c))
(-.f64 c (neg.f64 b))
(-.f64 b (neg.f64 c))
(+.f64 c b)
(+.f64 b c)
b
c
d
(neg.f64 (-.f64 (neg.f64 a) e))
(-.f64 e (neg.f64 a))
(-.f64 a (neg.f64 e))
(+.f64 e a)
(+.f64 a e)
a
e
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) c) b))
(neg.f64 (-.f64 (-.f64 (-.f64 (neg.f64 b) d) c) e))
(-.f64 (+.f64 e b) (-.f64 (neg.f64 d) c))
(-.f64 (+.f64 (+.f64 e c) b) (neg.f64 d))
(-.f64 (+.f64 (+.f64 d b) e) (neg.f64 c))
(-.f64 (+.f64 d c) (-.f64 (neg.f64 e) b))
(-.f64 (+.f64 e c) (-.f64 (neg.f64 b) d))
(-.f64 (+.f64 d b) (-.f64 (neg.f64 e) c))
(-.f64 (+.f64 (+.f64 e d) c) (neg.f64 b))
(-.f64 (+.f64 e d) (-.f64 (neg.f64 b) c))
(-.f64 e (-.f64 (-.f64 (neg.f64 b) d) c))
(-.f64 (+.f64 d (+.f64 c b)) (neg.f64 e))
(-.f64 d (-.f64 (-.f64 (neg.f64 e) c) b))
(-.f64 (+.f64 c b) (-.f64 (neg.f64 d) e))
(-.f64 c (-.f64 (-.f64 (neg.f64 b) d) e))
(-.f64 b (-.f64 (-.f64 (neg.f64 e) c) d))
(+.f64 (+.f64 e b) (+.f64 d c))
(+.f64 (+.f64 (+.f64 e c) b) d)
(+.f64 (+.f64 (+.f64 d b) e) c)
(+.f64 (+.f64 d c) (+.f64 e b))
(+.f64 (+.f64 e c) (+.f64 d b))
(+.f64 (+.f64 d b) (+.f64 e c))
(+.f64 (+.f64 (+.f64 e d) c) b)
(+.f64 (+.f64 e d) (+.f64 c b))
(+.f64 e (+.f64 d (+.f64 c b)))
(+.f64 (+.f64 d (+.f64 c b)) e)
(+.f64 d (+.f64 (+.f64 e c) b))
(+.f64 (+.f64 c b) (+.f64 e d))
(+.f64 c (+.f64 (+.f64 d b) e))
(+.f64 b (+.f64 (+.f64 e d) c))
(neg.f64 (-.f64 (-.f64 (neg.f64 e) c) d))
(-.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 d) c))
(-.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)
(neg.f64 (-.f64 (-.f64 (-.f64 (-.f64 (neg.f64 b) d) e) a) c))
(-.f64 (+.f64 (+.f64 a d) b) (-.f64 (neg.f64 e) c))
(-.f64 (+.f64 (+.f64 e b) a) (-.f64 (neg.f64 d) c))
(-.f64 (+.f64 (+.f64 a d) c) (-.f64 (neg.f64 e) b))
(-.f64 (+.f64 e b) (-.f64 (-.f64 (neg.f64 d) a) c))
(-.f64 (+.f64 (+.f64 (+.f64 d b) e) a) (neg.f64 c))
(-.f64 (+.f64 (+.f64 e c) b) (-.f64 (neg.f64 d) a))
(-.f64 (+.f64 (+.f64 d b) e) (-.f64 (neg.f64 c) a))
(-.f64 (+.f64 a d) (-.f64 (-.f64 (neg.f64 e) c) b))
(-.f64 (+.f64 (+.f64 (+.f64 e d) a) c) (neg.f64 b))
(-.f64 (+.f64 (+.f64 a (+.f64 c b)) d) (neg.f64 e))
(-.f64 (+.f64 (+.f64 a (+.f64 c b)) e) (neg.f64 d))
(-.f64 (+.f64 a b) (-.f64 (-.f64 (neg.f64 e) c) d))
(-.f64 (+.f64 d c) (-.f64 (-.f64 (neg.f64 e) b) a))
(-.f64 (+.f64 (+.f64 e d) a) (-.f64 (neg.f64 b) c))
(-.f64 (+.f64 e c) (-.f64 (-.f64 (neg.f64 d) a) b))
(-.f64 (+.f64 a c) (-.f64 (-.f64 (neg.f64 b) d) e))
(-.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a))
(-.f64 (+.f64 a (+.f64 c b)) (-.f64 (neg.f64 d) e))
(-.f64 (+.f64 d b) (-.f64 (-.f64 (neg.f64 c) a) e))
(-.f64 (+.f64 (+.f64 e a) c) (-.f64 (neg.f64 b) d))
(-.f64 (+.f64 (+.f64 e d) c) (-.f64 (neg.f64 b) a))
(-.f64 (+.f64 e d) (-.f64 (-.f64 (neg.f64 b) a) c))
(-.f64 (+.f64 e a) (-.f64 (-.f64 (neg.f64 b) d) c))
(-.f64 e (-.f64 (-.f64 (-.f64 (neg.f64 b) a) c) d))
(-.f64 a (-.f64 (-.f64 (-.f64 (neg.f64 b) d) c) e))
(-.f64 (+.f64 d (+.f64 c b)) (-.f64 (neg.f64 a) e))
(-.f64 d (-.f64 (-.f64 (-.f64 (neg.f64 e) c) b) a))
(-.f64 (+.f64 c b) (-.f64 (-.f64 (neg.f64 a) e) d))
(-.f64 c (-.f64 (-.f64 (-.f64 (neg.f64 b) d) e) a))
(-.f64 b (-.f64 (-.f64 (-.f64 (neg.f64 c) a) e) d))
(+.f64 (+.f64 (+.f64 a d) b) (+.f64 e c))
(+.f64 (+.f64 (+.f64 e b) a) (+.f64 d c))
(+.f64 (+.f64 (+.f64 a d) c) (+.f64 e b))
(+.f64 (+.f64 e b) (+.f64 (+.f64 a d) c))
(+.f64 (+.f64 (+.f64 (+.f64 d b) e) a) c)
(+.f64 (+.f64 (+.f64 e c) b) (+.f64 a d))
(+.f64 (+.f64 (+.f64 d b) e) (+.f64 a c))
(+.f64 (+.f64 a d) (+.f64 (+.f64 e c) b))
(+.f64 (+.f64 (+.f64 (+.f64 e d) a) c) b)
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) d) e)
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) e) d)
(+.f64 (+.f64 a b) (+.f64 (+.f64 e d) c))
(+.f64 (+.f64 d c) (+.f64 (+.f64 e b) a))
(+.f64 (+.f64 (+.f64 e d) a) (+.f64 c b))
(+.f64 (+.f64 e c) (+.f64 (+.f64 a d) b))
(+.f64 (+.f64 a c) (+.f64 (+.f64 d b) e))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 a (+.f64 c b)) (+.f64 e d))
(+.f64 (+.f64 d b) (+.f64 (+.f64 e a) c))
(+.f64 (+.f64 (+.f64 e a) c) (+.f64 d b))
(+.f64 (+.f64 (+.f64 e d) c) (+.f64 a b))
(+.f64 (+.f64 e d) (+.f64 a (+.f64 c b)))
(+.f64 (+.f64 e a) (+.f64 d (+.f64 c b)))
(+.f64 e (+.f64 (+.f64 a (+.f64 c b)) d))
(+.f64 a (+.f64 (+.f64 (+.f64 e d) c) b))
(+.f64 (+.f64 d (+.f64 c b)) (+.f64 e a))
(+.f64 d (+.f64 (+.f64 a (+.f64 c b)) e))
(+.f64 (+.f64 c b) (+.f64 (+.f64 e d) a))
(+.f64 c (+.f64 (+.f64 (+.f64 d b) e) a))
(+.f64 b (+.f64 (+.f64 (+.f64 e d) a) c))
(neg.f64 (-.f64 (-.f64 (neg.f64 c) a) e))
(-.f64 (+.f64 e c) (neg.f64 a))
(-.f64 (+.f64 a c) (neg.f64 e))
(-.f64 (+.f64 e a) (neg.f64 c))
(-.f64 e (-.f64 (neg.f64 c) a))
(-.f64 a (-.f64 (neg.f64 e) c))
(-.f64 c (-.f64 (neg.f64 a) e))
(+.f64 (+.f64 e c) a)
(+.f64 (+.f64 a c) e)
(+.f64 (+.f64 e a) c)
(+.f64 e (+.f64 a c))
(+.f64 a (+.f64 e c))
(+.f64 c (+.f64 e a))
(neg.f64 (-.f64 (neg.f64 b) d))
(-.f64 d (neg.f64 b))
(-.f64 b (neg.f64 d))
(+.f64 d b)
(+.f64 b d)
(neg.f64 (-.f64 (-.f64 (-.f64 (-.f64 (neg.f64 b) d) e) a) c))
(-.f64 (+.f64 (+.f64 a d) b) (-.f64 (neg.f64 e) c))
(-.f64 (+.f64 (+.f64 e b) a) (-.f64 (neg.f64 d) c))
(-.f64 (+.f64 (+.f64 a d) c) (-.f64 (neg.f64 e) b))
(-.f64 (+.f64 e b) (-.f64 (-.f64 (neg.f64 d) a) c))
(-.f64 (+.f64 (+.f64 (+.f64 d b) e) a) (neg.f64 c))
(-.f64 (+.f64 (+.f64 e c) b) (-.f64 (neg.f64 d) a))
(-.f64 (+.f64 (+.f64 d b) e) (-.f64 (neg.f64 c) a))
(-.f64 (+.f64 a d) (-.f64 (-.f64 (neg.f64 e) c) b))
(-.f64 (+.f64 (+.f64 (+.f64 e d) a) c) (neg.f64 b))
(-.f64 (+.f64 (+.f64 a (+.f64 c b)) d) (neg.f64 e))
(-.f64 (+.f64 (+.f64 a (+.f64 c b)) e) (neg.f64 d))
(-.f64 (+.f64 a b) (-.f64 (-.f64 (neg.f64 e) c) d))
(-.f64 (+.f64 d c) (-.f64 (-.f64 (neg.f64 e) b) a))
(-.f64 (+.f64 (+.f64 e d) a) (-.f64 (neg.f64 b) c))
(-.f64 (+.f64 e c) (-.f64 (-.f64 (neg.f64 d) a) b))
(-.f64 (+.f64 a c) (-.f64 (-.f64 (neg.f64 b) d) e))
(-.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a))
(-.f64 (+.f64 a (+.f64 c b)) (-.f64 (neg.f64 d) e))
(-.f64 (+.f64 d b) (-.f64 (-.f64 (neg.f64 c) a) e))
(-.f64 (+.f64 (+.f64 e a) c) (-.f64 (neg.f64 b) d))
(-.f64 (+.f64 (+.f64 e d) c) (-.f64 (neg.f64 b) a))
(-.f64 (+.f64 e d) (-.f64 (-.f64 (neg.f64 b) a) c))
(-.f64 (+.f64 e a) (-.f64 (-.f64 (neg.f64 b) d) c))
(-.f64 e (-.f64 (-.f64 (-.f64 (neg.f64 b) a) c) d))
(-.f64 a (-.f64 (-.f64 (-.f64 (neg.f64 b) d) c) e))
(-.f64 (+.f64 d (+.f64 c b)) (-.f64 (neg.f64 a) e))
(-.f64 d (-.f64 (-.f64 (-.f64 (neg.f64 e) c) b) a))
(-.f64 (+.f64 c b) (-.f64 (-.f64 (neg.f64 a) e) d))
(-.f64 c (-.f64 (-.f64 (-.f64 (neg.f64 b) d) e) a))
(-.f64 b (-.f64 (-.f64 (-.f64 (neg.f64 c) a) e) d))
(+.f64 (+.f64 (+.f64 a d) b) (+.f64 e c))
(+.f64 (+.f64 (+.f64 e b) a) (+.f64 d c))
(+.f64 (+.f64 (+.f64 a d) c) (+.f64 e b))
(+.f64 (+.f64 e b) (+.f64 (+.f64 a d) c))
(+.f64 (+.f64 (+.f64 (+.f64 d b) e) a) c)
(+.f64 (+.f64 (+.f64 e c) b) (+.f64 a d))
(+.f64 (+.f64 (+.f64 d b) e) (+.f64 a c))
(+.f64 (+.f64 a d) (+.f64 (+.f64 e c) b))
(+.f64 (+.f64 (+.f64 (+.f64 e d) a) c) b)
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) d) e)
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) e) d)
(+.f64 (+.f64 a b) (+.f64 (+.f64 e d) c))
(+.f64 (+.f64 d c) (+.f64 (+.f64 e b) a))
(+.f64 (+.f64 (+.f64 e d) a) (+.f64 c b))
(+.f64 (+.f64 e c) (+.f64 (+.f64 a d) b))
(+.f64 (+.f64 a c) (+.f64 (+.f64 d b) e))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 a (+.f64 c b)) (+.f64 e d))
(+.f64 (+.f64 d b) (+.f64 (+.f64 e a) c))
(+.f64 (+.f64 (+.f64 e a) c) (+.f64 d b))
(+.f64 (+.f64 (+.f64 e d) c) (+.f64 a b))
(+.f64 (+.f64 e d) (+.f64 a (+.f64 c b)))
(+.f64 (+.f64 e a) (+.f64 d (+.f64 c b)))
(+.f64 e (+.f64 (+.f64 a (+.f64 c b)) d))
(+.f64 a (+.f64 (+.f64 (+.f64 e d) c) b))
(+.f64 (+.f64 d (+.f64 c b)) (+.f64 e a))
(+.f64 d (+.f64 (+.f64 a (+.f64 c b)) e))
(+.f64 (+.f64 c b) (+.f64 (+.f64 e d) a))
(+.f64 c (+.f64 (+.f64 (+.f64 d b) e) a))
(+.f64 b (+.f64 (+.f64 (+.f64 e d) a) c))
(neg.f64 (-.f64 (-.f64 (neg.f64 b) a) c))
(-.f64 (+.f64 a b) (neg.f64 c))
(-.f64 (+.f64 a c) (neg.f64 b))
(-.f64 a (-.f64 (neg.f64 b) c))
(-.f64 (+.f64 c b) (neg.f64 a))
(-.f64 c (-.f64 (neg.f64 b) a))
(-.f64 b (-.f64 (neg.f64 c) a))
(+.f64 (+.f64 a b) c)
(+.f64 (+.f64 a c) b)
(+.f64 a (+.f64 c b))
(+.f64 (+.f64 c b) a)
(+.f64 c (+.f64 a b))
(+.f64 b (+.f64 a c))
(neg.f64 (-.f64 (-.f64 (-.f64 (-.f64 (neg.f64 b) d) e) a) c))
(-.f64 (+.f64 (+.f64 a d) b) (-.f64 (neg.f64 e) c))
(-.f64 (+.f64 (+.f64 e b) a) (-.f64 (neg.f64 d) c))
(-.f64 (+.f64 (+.f64 a d) c) (-.f64 (neg.f64 e) b))
(-.f64 (+.f64 e b) (-.f64 (-.f64 (neg.f64 d) a) c))
(-.f64 (+.f64 (+.f64 (+.f64 d b) e) a) (neg.f64 c))
(-.f64 (+.f64 (+.f64 e c) b) (-.f64 (neg.f64 d) a))
(-.f64 (+.f64 (+.f64 d b) e) (-.f64 (neg.f64 c) a))
(-.f64 (+.f64 a d) (-.f64 (-.f64 (neg.f64 e) c) b))
(-.f64 (+.f64 (+.f64 (+.f64 e d) a) c) (neg.f64 b))
(-.f64 (+.f64 (+.f64 a (+.f64 c b)) d) (neg.f64 e))
(-.f64 (+.f64 (+.f64 a (+.f64 c b)) e) (neg.f64 d))
(-.f64 (+.f64 a b) (-.f64 (-.f64 (neg.f64 e) c) d))
(-.f64 (+.f64 d c) (-.f64 (-.f64 (neg.f64 e) b) a))
(-.f64 (+.f64 (+.f64 e d) a) (-.f64 (neg.f64 b) c))
(-.f64 (+.f64 e c) (-.f64 (-.f64 (neg.f64 d) a) b))
(-.f64 (+.f64 a c) (-.f64 (-.f64 (neg.f64 b) d) e))
(-.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a))
(-.f64 (+.f64 a (+.f64 c b)) (-.f64 (neg.f64 d) e))
(-.f64 (+.f64 d b) (-.f64 (-.f64 (neg.f64 c) a) e))
(-.f64 (+.f64 (+.f64 e a) c) (-.f64 (neg.f64 b) d))
(-.f64 (+.f64 (+.f64 e d) c) (-.f64 (neg.f64 b) a))
(-.f64 (+.f64 e d) (-.f64 (-.f64 (neg.f64 b) a) c))
(-.f64 (+.f64 e a) (-.f64 (-.f64 (neg.f64 b) d) c))
(-.f64 e (-.f64 (-.f64 (-.f64 (neg.f64 b) a) c) d))
(-.f64 a (-.f64 (-.f64 (-.f64 (neg.f64 b) d) c) e))
(-.f64 (+.f64 d (+.f64 c b)) (-.f64 (neg.f64 a) e))
(-.f64 d (-.f64 (-.f64 (-.f64 (neg.f64 e) c) b) a))
(-.f64 (+.f64 c b) (-.f64 (-.f64 (neg.f64 a) e) d))
(-.f64 c (-.f64 (-.f64 (-.f64 (neg.f64 b) d) e) a))
(-.f64 b (-.f64 (-.f64 (-.f64 (neg.f64 c) a) e) d))
(+.f64 (+.f64 (+.f64 a d) b) (+.f64 e c))
(+.f64 (+.f64 (+.f64 e b) a) (+.f64 d c))
(+.f64 (+.f64 (+.f64 a d) c) (+.f64 e b))
(+.f64 (+.f64 e b) (+.f64 (+.f64 a d) c))
(+.f64 (+.f64 (+.f64 (+.f64 d b) e) a) c)
(+.f64 (+.f64 (+.f64 e c) b) (+.f64 a d))
(+.f64 (+.f64 (+.f64 d b) e) (+.f64 a c))
(+.f64 (+.f64 a d) (+.f64 (+.f64 e c) b))
(+.f64 (+.f64 (+.f64 (+.f64 e d) a) c) b)
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) d) e)
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) e) d)
(+.f64 (+.f64 a b) (+.f64 (+.f64 e d) c))
(+.f64 (+.f64 d c) (+.f64 (+.f64 e b) a))
(+.f64 (+.f64 (+.f64 e d) a) (+.f64 c b))
(+.f64 (+.f64 e c) (+.f64 (+.f64 a d) b))
(+.f64 (+.f64 a c) (+.f64 (+.f64 d b) e))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 a (+.f64 c b)) (+.f64 e d))
(+.f64 (+.f64 d b) (+.f64 (+.f64 e a) c))
(+.f64 (+.f64 (+.f64 e a) c) (+.f64 d b))
(+.f64 (+.f64 (+.f64 e d) c) (+.f64 a b))
(+.f64 (+.f64 e d) (+.f64 a (+.f64 c b)))
(+.f64 (+.f64 e a) (+.f64 d (+.f64 c b)))
(+.f64 e (+.f64 (+.f64 a (+.f64 c b)) d))
(+.f64 a (+.f64 (+.f64 (+.f64 e d) c) b))
(+.f64 (+.f64 d (+.f64 c b)) (+.f64 e a))
(+.f64 d (+.f64 (+.f64 a (+.f64 c b)) e))
(+.f64 (+.f64 c b) (+.f64 (+.f64 e d) a))
(+.f64 c (+.f64 (+.f64 (+.f64 d b) e) a))
(+.f64 b (+.f64 (+.f64 (+.f64 e d) a) c))
(neg.f64 (-.f64 (-.f64 (-.f64 (neg.f64 b) d) c) e))
(-.f64 (+.f64 e b) (-.f64 (neg.f64 d) c))
(-.f64 (+.f64 (+.f64 e c) b) (neg.f64 d))
(-.f64 (+.f64 (+.f64 d b) e) (neg.f64 c))
(-.f64 (+.f64 d c) (-.f64 (neg.f64 e) b))
(-.f64 (+.f64 e c) (-.f64 (neg.f64 b) d))
(-.f64 (+.f64 d b) (-.f64 (neg.f64 e) c))
(-.f64 (+.f64 (+.f64 e d) c) (neg.f64 b))
(-.f64 (+.f64 e d) (-.f64 (neg.f64 b) c))
(-.f64 e (-.f64 (-.f64 (neg.f64 b) d) c))
(-.f64 (+.f64 d (+.f64 c b)) (neg.f64 e))
(-.f64 d (-.f64 (-.f64 (neg.f64 e) c) b))
(-.f64 (+.f64 c b) (-.f64 (neg.f64 d) e))
(-.f64 c (-.f64 (-.f64 (neg.f64 b) d) e))
(-.f64 b (-.f64 (-.f64 (neg.f64 e) c) d))
(+.f64 (+.f64 e b) (+.f64 d c))
(+.f64 (+.f64 (+.f64 e c) b) d)
(+.f64 (+.f64 (+.f64 d b) e) c)
(+.f64 (+.f64 d c) (+.f64 e b))
(+.f64 (+.f64 e c) (+.f64 d b))
(+.f64 (+.f64 d b) (+.f64 e c))
(+.f64 (+.f64 (+.f64 e d) c) b)
(+.f64 (+.f64 e d) (+.f64 c b))
(+.f64 e (+.f64 d (+.f64 c b)))
(+.f64 (+.f64 d (+.f64 c b)) e)
(+.f64 d (+.f64 (+.f64 e c) b))
(+.f64 (+.f64 c b) (+.f64 e d))
(+.f64 c (+.f64 (+.f64 d b) e))
(+.f64 b (+.f64 (+.f64 e d) c))

eval39.0ms (2.4%)

Memory: -22.4MiB live, 72.1MiB allocated; 22ms collecting garbage
Compiler: Compiled 4 605 to 884 computations (80.8% saved)

prune29.0ms (1.8%)

Memory

9.1MiB live, 55.2MiB allocated; 4ms collecting garbage

Pruning

17 alts after pruning (11 fresh and 6 done)

	Pruned	Kept	Total
New	294	10	304
Fresh	1	1	2
Picked	0	5	5
Done	0	1	1
Total	295	17	312

Accuracy

100.0%

Counts

312 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.5%	(-.f64 b (-.f64 (-.f64 (-.f64 (neg.f64 c) a) e) d))
✓	99.4%	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
✓	99.6%	(+.f64 (+.f64 (+.f64 (+.f64 b c) d) e) a)
✓	99.7%	(+.f64 (+.f64 (+.f64 b c) d) (+.f64 a e))
✓	99.6%	(+.f64 (+.f64 (+.f64 b c) a) (+.f64 d e))
▶	99.6%	(+.f64 (+.f64 (+.f64 a (+.f64 c b)) d) e)
✓	99.6%	(+.f64 (+.f64 (+.f64 a e) c) (+.f64 b d))
	25.7%	(+.f64 (+.f64 #s(approx (+ a e) e) c) (+.f64 b d))
▶	25.7%	(+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) (+.f64 d e))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 e (-.f64 (-.f64 (neg.f64 b) d) c)))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e c) b) d))
▶	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) e) c))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e b) (+.f64 d c)))
▶	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 e c) d)))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 d c) 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 400 to 328 computations (18% saved)

series20.0ms (1.2%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	371	1458

Stop Event

1×	iter-limit

Counts

24 → 86

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) d) e)
(+.f64 (+.f64 a (+.f64 c b)) d)
(+.f64 a (+.f64 c b))
a
(+.f64 c b)
c
b
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 b (+.f64 (+.f64 e c) d)))
(+.f64 b (+.f64 (+.f64 e c) d))
(+.f64 (+.f64 e c) d)
(+.f64 e c)
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) e) c))
(+.f64 (+.f64 (+.f64 d b) e) c)
(+.f64 (+.f64 d b) e)
(+.f64 d b)
(+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) (+.f64 d e))
#s(approx (+ (+ b c) a) (+.f64 b c))
(+.f64 b c)

Outputs
#s(approx (+ (+ (+ a (+ c b)) d) e) (+.f64 b (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ a (+ c b)) d) e) (+.f64 a (+.f64 b (+.f64 c (+.f64 d e)))))
#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 b)) (+.f64 b c))
#s(approx (+ a (+ c b)) (+.f64 a (+.f64 b c)))
#s(approx a a)
#s(approx (+ (+ (+ a (+ c b)) 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 (+ 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 b)) (*.f64 a (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b a) (/.f64 c a)))))
#s(approx (+ (+ (+ a (+ c b)) 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 (+ 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 b)) (.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 (+ c b)) d) e) (+.f64 a (+.f64 c (+.f64 d e))))
#s(approx (+ (+ a (+ c b)) d) (+.f64 a (+.f64 c d)))
#s(approx (+ a (+ c b)) (+.f64 a c))
#s(approx (+ c b) c)
#s(approx b b)
#s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e)))
#s(approx (+ (+ d b) e) (+.f64 d e))
#s(approx (+ (+ d b) e) (+.f64 b (+.f64 d e)))
#s(approx (+ d b) d)
#s(approx (+ d b) (+.f64 b d))
#s(approx (+ (+ (+ a (+ c b)) 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 (+ c b)) d) (*.f64 b (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 a b) (+.f64 (/.f64 c b) (/.f64 d b))))))
#s(approx (+ a (+ c b)) (*.f64 b (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 a b) (/.f64 c 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 (+ (+ d b) e) (*.f64 b (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 d b) (/.f64 e b)))))
#s(approx (+ d b) (*.f64 b (+.f64 #s(literal 1 binary64) (/.f64 d b))))
#s(approx (+ (+ (+ a (+ c b)) 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 (+ 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 (+ c b)) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 a c) 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 (+ (+ d b) e) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 d e) b)) #s(literal 1 binary64)))))
#s(approx (+ d b) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d b)) #s(literal 1 binary64)))))
#s(approx (+ (+ (+ a (+ c b)) d) e) (+.f64 a (+.f64 b (+.f64 d e))))
#s(approx (+ (+ a (+ c b)) d) (+.f64 a (+.f64 b d)))
#s(approx (+ a (+ c b)) (+.f64 a b))
#s(approx (+ e c) e)
#s(approx (+ e c) (+.f64 c e))
#s(approx (+ (+ (+ a (+ c b)) 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 (+ 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 b)) (*.f64 c (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 a c) (/.f64 b 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 b)) 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 (+ 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 b)) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 a b) 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 b)) d) e) (+.f64 a (+.f64 b (+.f64 c e))))
#s(approx (+ b (+ c (+ d e))) (+.f64 b (+.f64 c e)))
#s(approx (+ (+ d b) e) (+.f64 b e))
#s(approx (+ (+ (+ a (+ c b)) 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 (+ c b)) 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 (+ (+ d b) e) (*.f64 d (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b d) (/.f64 e d)))))
#s(approx (+ d b) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 b d))))
#s(approx (+ (+ (+ a (+ c b)) 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 (+ 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 (+ 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 (+ (+ d b) e) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 b e) d)) #s(literal 1 binary64)))))
#s(approx (+ d b) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 b d)) #s(literal 1 binary64)))))
#s(approx (+ c (+ d e)) (+.f64 c d))
#s(approx (+ (+ (+ a (+ c b)) 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 (+ (+ d b) e) (*.f64 e (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b e) (/.f64 d e)))))
#s(approx (+ (+ (+ a (+ c b)) 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 (+ (+ d b) e) (.f64 #s(literal -1 binary64) (.f64 e (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 b d) e)) #s(literal 1 binary64)))))

Calls

15 calls:

Time	Variable	Point
1.0ms	d	-inf
1.0ms	c	inf
1.0ms	b	-inf
1.0ms	c	-inf
1.0ms	e	-inf

rewrite55.0ms (3.3%)

Memory

-26.5MiB live, 69.6MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	162
0	47	162
1	122	162
2	448	162
3	1337	162
4	1813	162
0	1813	162

Stop Event

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

Counts

24 → 249

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) d) e)
(+.f64 (+.f64 a (+.f64 c b)) d)
(+.f64 a (+.f64 c b))
a
(+.f64 c b)
c
b
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 b (+.f64 (+.f64 e c) d)))
(+.f64 b (+.f64 (+.f64 e c) d))
(+.f64 (+.f64 e c) d)
(+.f64 e c)
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) e) c))
(+.f64 (+.f64 (+.f64 d b) e) c)
(+.f64 (+.f64 d b) e)
(+.f64 d b)
(+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) (+.f64 d e))
#s(approx (+ (+ b c) a) (+.f64 b c))
(+.f64 b c)

Outputs
(neg.f64 (-.f64 (-.f64 (-.f64 (-.f64 (neg.f64 d) c) b) e) a))
(-.f64 (+.f64 (+.f64 e a) c) (-.f64 (neg.f64 d) b))
(-.f64 (+.f64 (+.f64 d a) b) (-.f64 (neg.f64 e) c))
(-.f64 (+.f64 (+.f64 d a) c) (-.f64 (neg.f64 e) b))
(-.f64 (+.f64 e a) (-.f64 (-.f64 (neg.f64 d) c) b))
(-.f64 (+.f64 (+.f64 b a) e) (-.f64 (neg.f64 d) c))
(-.f64 (+.f64 (+.f64 (+.f64 d a) e) b) (neg.f64 c))
(-.f64 (+.f64 (+.f64 d a) e) (-.f64 (neg.f64 b) c))
(-.f64 (+.f64 (+.f64 (+.f64 e d) c) a) (neg.f64 b))
(-.f64 (+.f64 (+.f64 (+.f64 e b) c) a) (neg.f64 d))
(-.f64 (+.f64 d a) (-.f64 (-.f64 (neg.f64 e) b) c))
(-.f64 (+.f64 (+.f64 e b) c) (-.f64 (neg.f64 d) a))
(-.f64 (+.f64 (+.f64 d c) b) (-.f64 (neg.f64 e) a))
(-.f64 (+.f64 b a) (-.f64 (-.f64 (neg.f64 d) c) e))
(-.f64 (+.f64 d c) (-.f64 (-.f64 (neg.f64 e) a) b))
(-.f64 (+.f64 e b) (-.f64 (-.f64 (neg.f64 d) a) c))
(-.f64 (+.f64 c a) (-.f64 (-.f64 (neg.f64 d) b) e))
(-.f64 (+.f64 (+.f64 d b) e) (-.f64 (neg.f64 c) a))
(-.f64 (+.f64 d b) (-.f64 (-.f64 (neg.f64 e) a) c))
(-.f64 (+.f64 e c) (-.f64 (-.f64 (neg.f64 d) a) b))
(-.f64 (+.f64 (+.f64 e d) c) (-.f64 (neg.f64 b) a))
(-.f64 (+.f64 e d) (-.f64 (-.f64 (neg.f64 b) a) c))
(-.f64 (+.f64 (+.f64 (+.f64 e b) c) d) (neg.f64 a))
(-.f64 e (-.f64 (-.f64 (-.f64 (neg.f64 b) a) c) d))
(-.f64 (+.f64 d (+.f64 (+.f64 b c) a)) (neg.f64 e))
(-.f64 d (-.f64 (-.f64 (-.f64 (neg.f64 e) b) c) a))
(-.f64 (+.f64 (+.f64 b c) a) (-.f64 (neg.f64 d) e))
(-.f64 (+.f64 b c) (-.f64 (-.f64 (neg.f64 d) a) e))
(-.f64 b (-.f64 (-.f64 (-.f64 (neg.f64 e) a) c) d))
(-.f64 c (-.f64 (-.f64 (-.f64 (neg.f64 d) a) b) e))
(-.f64 a (-.f64 (-.f64 (-.f64 (neg.f64 d) c) b) e))
(+.f64 (+.f64 (+.f64 e a) c) (+.f64 d b))
(+.f64 (+.f64 (+.f64 d a) b) (+.f64 e c))
(+.f64 (+.f64 (+.f64 d a) c) (+.f64 e b))
(+.f64 (+.f64 e a) (+.f64 (+.f64 d c) b))
(+.f64 (+.f64 (+.f64 b a) e) (+.f64 d c))
(+.f64 (+.f64 (+.f64 (+.f64 d a) e) b) c)
(+.f64 (+.f64 (+.f64 d a) e) (+.f64 b c))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) a) b)
(+.f64 (+.f64 (+.f64 (+.f64 e b) c) a) d)
(+.f64 (+.f64 d a) (+.f64 (+.f64 e b) c))
(+.f64 (+.f64 (+.f64 e b) c) (+.f64 d a))
(+.f64 (+.f64 (+.f64 d c) b) (+.f64 e a))
(+.f64 (+.f64 b a) (+.f64 (+.f64 e d) c))
(+.f64 (+.f64 d c) (+.f64 (+.f64 b a) e))
(+.f64 (+.f64 e b) (+.f64 (+.f64 d a) c))
(+.f64 (+.f64 c a) (+.f64 (+.f64 d b) e))
(+.f64 (+.f64 (+.f64 d b) e) (+.f64 c a))
(+.f64 (+.f64 d b) (+.f64 (+.f64 e a) c))
(+.f64 (+.f64 e c) (+.f64 (+.f64 d a) b))
(+.f64 (+.f64 (+.f64 e d) c) (+.f64 b a))
(+.f64 (+.f64 e d) (+.f64 (+.f64 b c) a))
(+.f64 (+.f64 (+.f64 (+.f64 e b) c) d) a)
(+.f64 e (+.f64 d (+.f64 (+.f64 b c) a)))
(+.f64 (+.f64 d (+.f64 (+.f64 b c) a)) e)
(+.f64 d (+.f64 (+.f64 (+.f64 e b) c) a))
(+.f64 (+.f64 (+.f64 b c) a) (+.f64 e d))
(+.f64 (+.f64 b c) (+.f64 (+.f64 d a) e))
(+.f64 b (+.f64 (+.f64 (+.f64 e d) c) a))
(+.f64 c (+.f64 (+.f64 (+.f64 d a) e) b))
(+.f64 a (+.f64 (+.f64 (+.f64 e b) c) d))
(neg.f64 (-.f64 (-.f64 (-.f64 (neg.f64 b) a) c) d))
(-.f64 (+.f64 (+.f64 d a) b) (neg.f64 c))
(-.f64 (+.f64 (+.f64 d a) c) (neg.f64 b))
(-.f64 (+.f64 d a) (-.f64 (neg.f64 b) c))
(-.f64 (+.f64 (+.f64 d c) b) (neg.f64 a))
(-.f64 (+.f64 b a) (-.f64 (neg.f64 d) c))
(-.f64 (+.f64 d c) (-.f64 (neg.f64 b) a))
(-.f64 (+.f64 c a) (-.f64 (neg.f64 d) b))
(-.f64 (+.f64 d b) (-.f64 (neg.f64 c) a))
(-.f64 d (-.f64 (-.f64 (neg.f64 b) a) c))
(-.f64 (+.f64 (+.f64 b c) a) (neg.f64 d))
(-.f64 (+.f64 b c) (-.f64 (neg.f64 d) a))
(-.f64 b (-.f64 (-.f64 (neg.f64 d) a) c))
(-.f64 c (-.f64 (-.f64 (neg.f64 d) a) b))
(-.f64 a (-.f64 (-.f64 (neg.f64 d) c) b))
(+.f64 (+.f64 (+.f64 d a) b) c)
(+.f64 (+.f64 (+.f64 d a) c) b)
(+.f64 (+.f64 d a) (+.f64 b c))
(+.f64 (+.f64 (+.f64 d c) b) a)
(+.f64 (+.f64 b a) (+.f64 d c))
(+.f64 (+.f64 d c) (+.f64 b a))
(+.f64 (+.f64 c a) (+.f64 d b))
(+.f64 (+.f64 d b) (+.f64 c a))
(+.f64 d (+.f64 (+.f64 b c) a))
(+.f64 (+.f64 (+.f64 b c) a) d)
(+.f64 (+.f64 b c) (+.f64 d a))
(+.f64 b (+.f64 (+.f64 d a) c))
(+.f64 c (+.f64 (+.f64 d a) b))
(+.f64 a (+.f64 (+.f64 d c) b))
(neg.f64 (-.f64 (-.f64 (neg.f64 b) a) c))
(-.f64 (+.f64 b a) (neg.f64 c))
(-.f64 (+.f64 c a) (neg.f64 b))
(-.f64 (+.f64 b c) (neg.f64 a))
(-.f64 b (-.f64 (neg.f64 c) a))
(-.f64 c (-.f64 (neg.f64 b) a))
(-.f64 a (-.f64 (neg.f64 b) c))
(+.f64 (+.f64 b a) c)
(+.f64 (+.f64 c a) b)
(+.f64 (+.f64 b c) a)
(+.f64 b (+.f64 c a))
(+.f64 c (+.f64 b a))
(+.f64 a (+.f64 b c))
a
(neg.f64 (-.f64 (neg.f64 b) c))
(-.f64 b (neg.f64 c))
(-.f64 c (neg.f64 b))
(+.f64 b c)
(+.f64 c b)
c
b
d
e
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 e d) c)))
#s(approx (+ b (+ c (+ d e))) (+.f64 (+.f64 e d) c))
(neg.f64 (-.f64 (-.f64 (neg.f64 d) c) e))
(-.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 d) c))
(-.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 (-.f64 (neg.f64 d) c) b) e))
(-.f64 (+.f64 (+.f64 e b) c) (neg.f64 d))
(-.f64 (+.f64 (+.f64 d c) b) (neg.f64 e))
(-.f64 (+.f64 d c) (-.f64 (neg.f64 e) b))
(-.f64 (+.f64 e b) (-.f64 (neg.f64 d) c))
(-.f64 (+.f64 (+.f64 d b) e) (neg.f64 c))
(-.f64 (+.f64 d b) (-.f64 (neg.f64 e) c))
(-.f64 (+.f64 e c) (-.f64 (neg.f64 d) b))
(-.f64 (+.f64 (+.f64 e d) c) (neg.f64 b))
(-.f64 (+.f64 e d) (-.f64 (neg.f64 b) c))
(-.f64 e (-.f64 (-.f64 (neg.f64 d) c) b))
(-.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) c) e))
(-.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 d c) (+.f64 e b))
(+.f64 (+.f64 e b) (+.f64 d c))
(+.f64 (+.f64 (+.f64 d b) e) c)
(+.f64 (+.f64 d b) (+.f64 e c))
(+.f64 (+.f64 e c) (+.f64 d b))
(+.f64 (+.f64 (+.f64 e d) c) b)
(+.f64 (+.f64 e d) (+.f64 b c))
(+.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 e d) c))
(+.f64 c (+.f64 (+.f64 d b) e))
(neg.f64 (-.f64 (-.f64 (neg.f64 d) c) e))
(-.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 d) c))
(-.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)
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e b) c) d))
(neg.f64 (-.f64 (-.f64 (-.f64 (neg.f64 d) c) b) e))
(-.f64 (+.f64 (+.f64 e b) c) (neg.f64 d))
(-.f64 (+.f64 (+.f64 d c) b) (neg.f64 e))
(-.f64 (+.f64 d c) (-.f64 (neg.f64 e) b))
(-.f64 (+.f64 e b) (-.f64 (neg.f64 d) c))
(-.f64 (+.f64 (+.f64 d b) e) (neg.f64 c))
(-.f64 (+.f64 d b) (-.f64 (neg.f64 e) c))
(-.f64 (+.f64 e c) (-.f64 (neg.f64 d) b))
(-.f64 (+.f64 (+.f64 e d) c) (neg.f64 b))
(-.f64 (+.f64 e d) (-.f64 (neg.f64 b) c))
(-.f64 e (-.f64 (-.f64 (neg.f64 d) c) b))
(-.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) c) e))
(-.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 d c) (+.f64 e b))
(+.f64 (+.f64 e b) (+.f64 d c))
(+.f64 (+.f64 (+.f64 d b) e) c)
(+.f64 (+.f64 d b) (+.f64 e c))
(+.f64 (+.f64 e c) (+.f64 d b))
(+.f64 (+.f64 (+.f64 e d) c) b)
(+.f64 (+.f64 e d) (+.f64 b c))
(+.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 e d) c))
(+.f64 c (+.f64 (+.f64 d b) e))
(neg.f64 (-.f64 (-.f64 (neg.f64 d) b) e))
(-.f64 (+.f64 e b) (neg.f64 d))
(-.f64 (+.f64 d b) (neg.f64 e))
(-.f64 (+.f64 e d) (neg.f64 b))
(-.f64 e (-.f64 (neg.f64 d) b))
(-.f64 d (-.f64 (neg.f64 e) b))
(-.f64 b (-.f64 (neg.f64 d) e))
(+.f64 (+.f64 e b) d)
(+.f64 (+.f64 d b) e)
(+.f64 (+.f64 e d) b)
(+.f64 e (+.f64 d b))
(+.f64 d (+.f64 e b))
(+.f64 b (+.f64 e d))
(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 (neg.f64 d) #s(approx (+ (+ b c) a) (+.f64 b c))) e))
(-.f64 (+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) e) (neg.f64 d))
(-.f64 (+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) d) (neg.f64 e))
(-.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) (-.f64 (neg.f64 d) e))
(-.f64 (+.f64 e d) (neg.f64 #s(approx (+ (+ b c) a) (+.f64 b c))))
(-.f64 e (-.f64 (neg.f64 d) #s(approx (+ (+ b c) a) (+.f64 b c))))
(-.f64 d (-.f64 (neg.f64 e) #s(approx (+ (+ b c) a) (+.f64 b c))))
(+.f64 (+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) e) d)
(+.f64 (+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) d) e)
(+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) (+.f64 e d))
(+.f64 (+.f64 e d) #s(approx (+ (+ b c) a) (+.f64 b c)))
(+.f64 e (+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) d))
(+.f64 d (+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) e))
#s(approx (+ (+ b c) a) (+.f64 b c))
(neg.f64 (neg.f64 #s(approx (+ (+ b c) a) (+.f64 b c))))
(neg.f64 (-.f64 (neg.f64 b) c))
(-.f64 b (neg.f64 c))
(-.f64 c (neg.f64 b))
(+.f64 b c)
(+.f64 c b)

eval26.0ms (1.6%)

Memory: 19.5MiB live, 64.4MiB allocated; 5ms collecting garbage
Compiler: Compiled 4 840 to 949 computations (80.4% saved)

prune33.0ms (2%)

Memory

-28.0MiB live, 62.1MiB allocated; 8ms collecting garbage

Pruning

21 alts after pruning (11 fresh and 10 done)

	Pruned	Kept	Total
New	278	6	284
Fresh	1	5	6
Picked	0	5	5
Done	1	5	6
Total	280	21	301

Accuracy

100.0%

Counts

301 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(+.f64 (+.f64 (+.f64 (+.f64 b c) d) e) a)
▶	99.6%	(+.f64 (+.f64 (+.f64 e b) c) (+.f64 d a))
✓	99.7%	(+.f64 (+.f64 (+.f64 b c) d) (+.f64 a e))
✓	99.6%	(+.f64 (+.f64 (+.f64 b c) a) (+.f64 d e))
✓	99.6%	(+.f64 (+.f64 (+.f64 a (+.f64 c b)) d) e)
✓	99.6%	(+.f64 (+.f64 (+.f64 a e) c) (+.f64 b d))
	25.7%	(+.f64 (+.f64 #s(approx (+ a e) e) c) (+.f64 b d))
✓	25.7%	(+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) (+.f64 d e))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 e (-.f64 (-.f64 (neg.f64 b) d) c)))
	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) b) d))
	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 (+.f64 d b) e) c))
▶	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e b) (+.f64 d c)))
✓	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 e c) d)))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 d c) 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 (+.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))))
▶	18.1%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 c d))))

Compiler

Compiled 524 to 403 computations (23.1% saved)

series17.0ms (1%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	286	1109

Stop Event

1×	iter-limit

Counts

23 → 67

Calls

Call 1

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

Outputs
#s(approx (+ (+ (+ e b) c) (+ d a)) (+.f64 b (+.f64 c (+.f64 d e))))
#s(approx (+ (+ (+ e b) c) (+ d a)) (+.f64 a (+.f64 b (+.f64 c (+.f64 d e)))))
#s(approx (+ d a) d)
#s(approx (+ d a) (+.f64 a d))
#s(approx a a)
#s(approx (+ (+ (+ e b) c) (+ d 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 (+ d a) (*.f64 a (+.f64 #s(literal 1 binary64) (/.f64 d a))))
#s(approx (+ (+ (+ e b) c) (+ d 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 (+ d a) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d a)) #s(literal 1 binary64)))))
#s(approx (+ (+ (+ e b) c) (+ d a)) (+.f64 a (+.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 b b)
#s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e)))
#s(approx (+ (+ (+ e b) c) (+ d 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 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 (+ 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) (+ d 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 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 (+ 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) (+ d a)) (+.f64 a (+.f64 b (+.f64 d e))))
#s(approx c c)
#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 (+ (+ (+ e b) c) (+ d 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 b) c) (*.f64 c (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b c) (/.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 (+ c d) (*.f64 c (+.f64 #s(literal 1 binary64) (/.f64 d c))))
#s(approx (+ e c) (*.f64 c (+.f64 #s(literal 1 binary64) (/.f64 e c))))
#s(approx (+ (+ (+ e b) c) (+ d 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 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 (+ 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 (+ c d) (.f64 #s(literal -1 binary64) (.f64 c (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d 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 (+ (+ (+ e b) c) (+ d a)) (+.f64 a (+.f64 b (+.f64 c e))))
#s(approx (+ (+ (+ e b) c) (+ d 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 (+ d a) (*.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 (+ c d) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 c d))))
#s(approx (+ (+ (+ e b) c) (+ d 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 (+ d a) (.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 (+ c d) (.f64 #s(literal -1 binary64) (.f64 d (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 c d)) #s(literal 1 binary64)))))
#s(approx (+ (+ (+ e b) c) (+ d a)) (+.f64 a (+.f64 b (+.f64 c d))))
#s(approx (+ (+ e b) c) (+.f64 b c))
#s(approx (+ b (+ c (+ d e))) (+.f64 b (+.f64 c d)))
#s(approx (+ (+ (+ e b) c) (+ d 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 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 (+ 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 (+ e c) (*.f64 e (+.f64 #s(literal 1 binary64) (/.f64 c e))))
#s(approx (+ (+ (+ e b) c) (+ d 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 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)))))
#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 (+ e c) (.f64 #s(literal -1 binary64) (.f64 e (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 c e)) #s(literal 1 binary64)))))

Calls

15 calls:

Time	Variable	Point
1.0ms	c	-inf
1.0ms	e	-inf
1.0ms	d	-inf
1.0ms	b	-inf
1.0ms	c	inf

rewrite129.0ms (7.8%)

Memory

-20.0MiB live, 49.1MiB allocated; 149ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	181
0	41	181
1	111	181
2	410	181
3	1221	181
4	1718	181
0	1718	181

Stop Event

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

Counts

23 → 195

Calls

Call 1

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

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

eval31.0ms (1.9%)

Memory: 0.5MiB live, 53.4MiB allocated; 22ms collecting garbage
Compiler: Compiled 4 075 to 709 computations (82.6% saved)

prune24.0ms (1.4%)

Memory

3.6MiB live, 48.8MiB allocated; 7ms collecting garbage

Pruning

21 alts after pruning (7 fresh and 14 done)

	Pruned	Kept	Total
New	221	4	225
Fresh	3	3	6
Picked	1	4	5
Done	0	10	10
Total	225	21	246

Accuracy

100.0%

Counts

246 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(+.f64 (+.f64 (+.f64 (+.f64 b c) d) e) a)
✓	99.6%	(+.f64 (+.f64 (+.f64 e b) c) (+.f64 d a))
	25.7%	(+.f64 (+.f64 (+.f64 e b) c) #s(approx (+ d a) d))
✓	99.7%	(+.f64 (+.f64 (+.f64 b c) d) (+.f64 a e))
✓	99.6%	(+.f64 (+.f64 (+.f64 b c) a) (+.f64 d e))
✓	99.6%	(+.f64 (+.f64 (+.f64 a (+.f64 c b)) d) e)
✓	99.6%	(+.f64 (+.f64 (+.f64 a e) c) (+.f64 b d))
	25.7%	(+.f64 (+.f64 #s(approx (+ a e) e) c) (+.f64 b d))
✓	25.7%	(+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) (+.f64 d 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) b) d))
✓	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) e) c))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) c) e))
✓	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e b) (+.f64 d c)))
	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 #s(approx (+ e b) e) (+.f64 d c)))
✓	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 e c) d)))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 d c) 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 (+.f64 e c) d)))
✓	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e))))
	21.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 d e))))

Compiler

Compiled 317 to 251 computations (20.8% saved)

regimes336.0ms (20.2%)

Memory

-34.1MiB live, 634.2MiB allocated; 100ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

2 → 1

6 → 1

19 → 1

20 → 1

22 → 1

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 c d))))

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

Call 2

Inputs

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

#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))))

Call 3

Inputs
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 c d))))
#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 #s(approx (+ e b) e) (+.f64 d c)))

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

Call 4

Inputs
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 c d))))
#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 #s(approx (+ e b) e) (+.f64 d c)))
#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 d c) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 e c) d)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e b) (+.f64 d c)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) c) e))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) e) c))
#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) b) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) b) c))
(+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) (+.f64 d e))
(+.f64 (+.f64 #s(approx (+ a e) e) c) (+.f64 b d))
(+.f64 (+.f64 (+.f64 e b) c) #s(approx (+ d a) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 e (-.f64 (-.f64 (neg.f64 b) d) c)))

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

Call 5

Inputs
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 c d))))
#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 #s(approx (+ e b) e) (+.f64 d c)))
#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 d c) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 e c) d)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e b) (+.f64 d c)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) c) e))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) e) c))
#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) b) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) b) c))
(+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) (+.f64 d e))
(+.f64 (+.f64 #s(approx (+ a e) e) c) (+.f64 b d))
(+.f64 (+.f64 (+.f64 e b) c) #s(approx (+ d a) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 e (-.f64 (-.f64 (neg.f64 b) d) c)))
(+.f64 (+.f64 (+.f64 a e) c) (+.f64 b d))

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

Call 6

Inputs
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 c d))))
#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 #s(approx (+ e b) e) (+.f64 d c)))
#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 d c) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 e c) d)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e b) (+.f64 d c)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) c) e))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) e) c))
#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) b) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) b) c))
(+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) (+.f64 d e))
(+.f64 (+.f64 #s(approx (+ a e) e) c) (+.f64 b d))
(+.f64 (+.f64 (+.f64 e b) c) #s(approx (+ d a) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 e (-.f64 (-.f64 (neg.f64 b) d) c)))
(+.f64 (+.f64 (+.f64 a e) c) (+.f64 b d))
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) d) e)
(+.f64 (+.f64 (+.f64 b c) a) (+.f64 d e))

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

Call 7

Inputs
#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) (+.f64 c d))))
#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 #s(approx (+ e b) e) (+.f64 d c)))
#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 d c) e)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 (+.f64 e c) d)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 e b) (+.f64 d c)))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) c) e))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 d b) e) c))
#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) b) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 (+.f64 (+.f64 e d) b) c))
(+.f64 #s(approx (+ (+ b c) a) (+.f64 b c)) (+.f64 d e))
(+.f64 (+.f64 #s(approx (+ a e) e) c) (+.f64 b d))
(+.f64 (+.f64 (+.f64 e b) c) #s(approx (+ d a) d))
#s(approx (+ (+ (+ (+ e d) c) b) a) (-.f64 e (-.f64 (-.f64 (neg.f64 b) d) c)))
(+.f64 (+.f64 (+.f64 a e) c) (+.f64 b d))
(+.f64 (+.f64 (+.f64 a (+.f64 c b)) d) e)
(+.f64 (+.f64 (+.f64 b c) a) (+.f64 d e))
(+.f64 (+.f64 (+.f64 b c) d) (+.f64 a e))
(+.f64 (+.f64 (+.f64 e b) c) (+.f64 d a))
(+.f64 (+.f64 (+.f64 (+.f64 b c) d) e) a)
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(-.f64 b (-.f64 (-.f64 (-.f64 (neg.f64 c) a) e) d))
(+.f64 #s(approx (+ (+ (+ e d) c) b) (*.f64 e (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 b e) (+.f64 (/.f64 c e) (/.f64 d e)))))) a)

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

Calls

63 calls:

28.0ms	c
17.0ms	a
16.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
10.0ms	b
9.0ms	(+.f64 (+.f64 e d) c)

Results

Accuracy	Segments	Branch
18.1%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
18.1%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
18.1%	1	`d`
18.1%	1	`(+.f64 (+.f64 e d) c)`
18.1%	1	`(+.f64 e d)`
18.1%	1	`e`
18.1%	1	`c`
18.1%	1	`b`
18.1%	1	`a`
21.2%	1	`d`
21.2%	1	`b`
21.2%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
21.2%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
21.2%	1	`(+.f64 e d)`
21.2%	1	`a`
21.2%	1	`(+.f64 (+.f64 e d) c)`
21.2%	1	`c`
21.2%	1	`e`
23.2%	1	`b`
23.2%	1	`a`
23.2%	1	`e`
23.2%	1	`(+.f64 (+.f64 e d) c)`
23.2%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
23.2%	1	`d`
23.2%	1	`(+.f64 e d)`
23.2%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
23.2%	1	`c`
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`
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`
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`
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 649 to 497 computations (23.4% saved)

derivations42.0ms (2.5%)

Memory

39.2MiB live, 85.0MiB allocated; 5ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 121 to 36 computations (70.2% saved)

preprocess61.0ms (3.7%)

Memory: -31.1MiB live, 111.2MiB allocated; 17ms collecting garbage
Remove: (sort a b c d e)
Compiler: Compiled 381 to 230 computations (39.6% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample640.0ms (38.4%)

preprocess27.0ms (1.6%)

series16.0ms (1%)

rewrite47.0ms (2.8%)

eval16.0ms (0.9%)

prune11.0ms (0.7%)

series23.0ms (1.4%)

rewrite40.0ms (2.4%)

eval39.0ms (2.4%)

prune29.0ms (1.8%)

series20.0ms (1.2%)

rewrite55.0ms (3.3%)

eval26.0ms (1.6%)

prune33.0ms (2%)

series17.0ms (1%)

rewrite129.0ms (7.8%)

eval31.0ms (1.9%)

prune24.0ms (1.4%)

regimes336.0ms (20.2%)

derivations42.0ms (2.5%)

preprocess61.0ms (3.7%)

end0.0ms (0%)

Profiling