Metrics for Expression 1, p15

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

sample738.0ms (27.4%)

Memory

21.0MiB live, 489.4MiB allocated; 215ms collecting garbage

Samples

472.0ms

8 256×

valid

Precisions

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

ival-add!: 142.0ms (98.7% of total)

adjust: 2.0ms (1.4% of total)

Bogosity

preprocess181.0ms (6.7%)

Memory

-15.8MiB live, 28.1MiB allocated; 29ms 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)

series96.0ms (3.6%)

Memory

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

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
0.0ms	c	-inf
0.0ms	a	inf
0.0ms	a	-inf

rewrite182.0ms (6.7%)

Memory

-16.0MiB live, 43.5MiB allocated; 35ms collecting garbage

Counts

9 → 20

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

eval7.0ms (0.3%)

Memory: 7.6MiB live, 7.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 058 to 291 computations (72.5% saved)

prune8.0ms (0.3%)

Memory

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

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	48	10	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	10	59

Accuracy

100.0%

Counts

59 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(+.f64 (+.f64 (+.f64 #s(approx (+ e d) (*.f64 e (+.f64 #s(literal 1 binary64) (/.f64 d e)))) c) b) a)
	99.4%	(+.f64 (+.f64 (+.f64 #s(approx (+ e d) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 e d)))) c) b) a)
▶	99.5%	(+.f64 (+.f64 (+.f64 e (+.f64 d c)) b) a)
	99.5%	(+.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a)
▶	99.6%	(+.f64 (+.f64 (+.f64 e d) c) (+.f64 b a))
	99.4%	(+.f64 (+.f64 #s(approx (+ (+ e d) c) (*.f64 c (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 d c) (/.f64 e c))))) b) a)
	99.4%	(+.f64 #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))))) a)
▶	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
	99.5%	#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)))))))
▶	99.4%	#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)))))

Compiler

Compiled 360 to 286 computations (20.6% saved)

series307.0ms (11.4%)

Memory

-36.4MiB live, 150.2MiB allocated; 49ms collecting garbage

Counts

35 → 176

Calls

Call 1

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

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

Calls

15 calls:

Time	Variable	Point
21.0ms	d	0
15.0ms	d	inf
5.0ms	d	-inf
5.0ms	e	-inf
4.0ms	e	inf

rewrite167.0ms (6.2%)

Memory

2.1MiB live, 92.5MiB allocated; 14ms collecting garbage

Counts

35 → 125

Calls

Call 1

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

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

eval27.0ms (1%)

Memory: 42.9MiB live, 42.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 7 949 to 1 440 computations (81.9% saved)

prune23.0ms (0.8%)

Memory

-17.7MiB live, 24.3MiB allocated; 13ms collecting garbage

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	245	9	254
Fresh	4	1	5
Picked	2	3	5
Done	0	0	0
Total	251	13	264

Accuracy

100.0%

Counts

264 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(+.f64 (+.f64 (+.f64 #s(approx (+ e d) (*.f64 e (+.f64 #s(literal 1 binary64) (/.f64 d e)))) c) b) a)
✓	99.5%	(+.f64 (+.f64 (+.f64 e (+.f64 d c)) b) a)
	99.4%	(+.f64 (+.f64 (+.f64 e #s(approx (+ d c) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 c d))))) b) a)
	99.5%	(+.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a)
▶	99.6%	(+.f64 (+.f64 (+.f64 e d) c) #s(approx (+ b a) (*.f64 b (+.f64 #s(literal 1 binary64) (/.f64 a b)))))
▶	99.5%	(+.f64 (+.f64 (+.f64 d c) e) (+.f64 b a))
	99.6%	(+.f64 (+.f64 e d) (+.f64 c (+.f64 b a)))
▶	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 e (+.f64 b (+.f64 d c))))
✓	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 b (+.f64 c (+.f64 d e))))
▶	99.6%	#s(approx (+ (+ (+ (+ e d) c) b) a) (.f64 #s(literal -1 binary64) #s(approx ( e (- (* -1 (/ (+ a (+ b (+ c d))) e)) 1)) (fma.f64 #s(literal -1 binary64) e (*.f64 #s(literal -1 binary64) (+.f64 a (+.f64 b (+.f64 c d))))))))
	99.4%	#s(approx (+ (+ (+ (+ e d) c) b) a) (neg.f64 (*.f64 e (-.f64 (neg.f64 (/.f64 (+.f64 (+.f64 b a) (+.f64 d c)) e)) #s(literal 1 binary64)))))
▶	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 c (+.f64 d e))))

Compiler

Compiled 409 to 322 computations (21.3% saved)

series188.0ms (7%)

Memory

20.9MiB live, 163.1MiB allocated; 29ms collecting garbage

Counts

33 → 155

Calls

Call 1

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

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

Calls

15 calls:

Time	Variable	Point
2.0ms	b	-inf
2.0ms	a	-inf
2.0ms	a	inf
2.0ms	b	inf
1.0ms	a	0

rewrite153.0ms (5.7%)

Memory

-11.0MiB live, 87.9MiB allocated; 87ms collecting garbage

Counts

33 → 119

Calls

Call 1

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

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

eval28.0ms (1%)

Memory: -3.3MiB live, 41.1MiB allocated; 7ms collecting garbage
Compiler: Compiled 8 360 to 1 269 computations (84.8% saved)

prune12.0ms (0.5%)

Memory

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

Pruning

15 alts after pruning (9 fresh and 6 done)

	Pruned	Kept	Total
New	223	6	229
Fresh	2	3	5
Picked	2	3	5
Done	0	3	3
Total	227	15	242

Accuracy

100.0%

Counts

242 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(+.f64 (+.f64 (+.f64 #s(approx (+ e d) (*.f64 e (+.f64 #s(literal 1 binary64) (/.f64 d e)))) c) b) a)
✓	99.5%	(+.f64 (+.f64 (+.f64 e (+.f64 d c)) b) a)
	99.4%	(+.f64 (+.f64 (+.f64 e #s(approx (+ d c) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 c d))))) b) a)
▶	99.5%	(+.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a)
✓	99.5%	(+.f64 (+.f64 (+.f64 d c) e) (+.f64 b a))
	25.7%	(+.f64 (+.f64 (+.f64 d c) e) #s(approx (+ b a) b))
▶	99.7%	(+.f64 (+.f64 c d) (+.f64 e (+.f64 b a)))
✓	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 e (+.f64 d (+.f64 c b))))
	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 e (+.f64 b (+.f64 d c))))
✓	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 c d) e)))
	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 d (+.f64 c e))))
✓	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 398 to 306 computations (23.1% saved)

series115.0ms (4.3%)

Memory

7.5MiB live, 97.6MiB allocated; 19ms collecting garbage

Counts

23 → 76

Calls

Call 1

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

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

rewrite182.0ms (6.8%)

Memory

-27.4MiB live, 159.0MiB allocated; 37ms collecting garbage

Counts

23 → 81

Calls

Call 1

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

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

eval32.0ms (1.2%)

Memory: 31.1MiB live, 31.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 941 to 587 computations (80% saved)

prune25.0ms (0.9%)

Memory

-30.3MiB live, 20.9MiB allocated; 11ms collecting garbage

Pruning

16 alts after pruning (5 fresh and 11 done)

	Pruned	Kept	Total
New	131	2	133
Fresh	1	3	4
Picked	0	5	5
Done	0	6	6
Total	132	16	148

Accuracy

100.0%

Counts

148 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(+.f64 (+.f64 (+.f64 #s(approx (+ e d) (*.f64 e (+.f64 #s(literal 1 binary64) (/.f64 d e)))) c) b) a)
✓	99.5%	(+.f64 (+.f64 (+.f64 e (+.f64 d c)) b) a)
	99.4%	(+.f64 (+.f64 (+.f64 e #s(approx (+ d c) (*.f64 d (+.f64 #s(literal 1 binary64) (/.f64 c d))))) b) a)
✓	99.5%	(+.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a)
✓	99.5%	(+.f64 (+.f64 (+.f64 d c) e) (+.f64 b a))
	25.7%	(+.f64 (+.f64 (+.f64 d c) e) #s(approx (+ b a) b))
✓	99.7%	(+.f64 (+.f64 c d) (+.f64 e (+.f64 b a)))
✓	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 e (+.f64 (+.f64 c d) b)))
✓	25.7%	#s(approx (+ (+ (+ (+ e d) c) b) a) (+.f64 e (+.f64 d (+.f64 c b))))
✓	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 c d) e)))
	23.2%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) (+.f64 d (+.f64 c e))))
✓	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))))
	18.9%	#s(approx (+ (+ (+ (+ e d) c) b) a) #s(approx (+ b (+ c (+ d e))) #s(approx (+ c (+ d e)) #s(approx (+ d e) e))))

Compiler

Compiled 274 to 206 computations (24.8% saved)

regimes186.0ms (6.9%)

Memory

6.6MiB live, 192.8MiB allocated; 30ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 1

5 → 1

11 → 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)) #s(approx (+ d e) e))))

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

Call 2

Inputs

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

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

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

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

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

Calls

45 calls:

13.0ms	d
12.0ms	e
8.0ms	c
7.0ms	(+.f64 (+.f64 e d) c)
7.0ms	(+.f64 e d)

Results

Accuracy	Segments	Branch
18.9%	1	`b`
18.9%	1	`e`
18.9%	1	`(+.f64 (+.f64 e d) c)`
18.9%	1	`(+.f64 e d)`
18.9%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
18.9%	1	`a`
18.9%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
18.9%	1	`c`
18.9%	1	`d`
21.2%	1	`e`
21.2%	1	`(+.f64 e d)`
21.2%	1	`(+.f64 (+.f64 e d) c)`
21.2%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
21.2%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
21.2%	1	`d`
21.2%	1	`a`
21.2%	1	`c`
21.2%	1	`b`
23.2%	1	`b`
23.2%	1	`e`
23.2%	1	`(+.f64 e d)`
23.2%	1	`(+.f64 (+.f64 e d) c)`
23.2%	1	`(+.f64 (+.f64 (+.f64 e d) c) b)`
23.2%	1	`(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)`
23.2%	1	`d`
23.2%	1	`a`
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.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 664 to 422 computations (36.4% saved)

derivations1.0ms (0%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 105 to 29 computations (72.4% saved)

preprocess35.0ms (1.3%)

Memory: 23.7MiB live, 69.0MiB allocated; 6ms collecting garbage
Remove: (sort a b c d e)
Compiler: Compiled 333 to 187 computations (43.8% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample738.0ms (27.4%)

preprocess181.0ms (6.7%)

series96.0ms (3.6%)

rewrite182.0ms (6.7%)

eval7.0ms (0.3%)

prune8.0ms (0.3%)

series307.0ms (11.4%)

rewrite167.0ms (6.2%)

eval27.0ms (1%)

prune23.0ms (0.8%)

series188.0ms (7%)

rewrite153.0ms (5.7%)

eval28.0ms (1%)

prune12.0ms (0.5%)

series115.0ms (4.3%)

rewrite182.0ms (6.8%)

eval32.0ms (1.2%)

prune25.0ms (0.9%)

regimes186.0ms (6.9%)

derivations1.0ms (0%)

preprocess35.0ms (1.3%)

end0.0ms (0%)

Profiling