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)

sample831.0ms (29.1%)

Memory

-5.1MiB live, 508.8MiB allocated; 173ms collecting garbage

Samples

472.0ms

8 256×

valid

Precisions

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

ival-add!: 143.0ms (98.8% of total)

adjust: 2.0ms (1.4% of total)

Bogosity

preprocess164.0ms (5.7%)

Memory

-13.9MiB live, 30.6MiB allocated; 18ms 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

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(sort a b c d e)

Compiler

Compiled 18 to 18 computations (0% saved)

series109.0ms (3.8%)

Memory

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

rewrite133.0ms (4.6%)

Memory

10.9MiB live, 57.0MiB allocated; 26ms 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

eval121.0ms (4.2%)

Memory: -80.6MiB live, 7.3MiB allocated; 160ms collecting garbage
Compiler: Compiled 1 058 to 291 computations (72.5% saved)

prune7.0ms (0.2%)

Memory

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

series234.0ms (8.2%)

Memory

3.1MiB live, 100.0MiB allocated; 28ms 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
5.0ms	d	inf
3.0ms	b	inf
3.0ms	d	-inf
2.0ms	e	-inf
2.0ms	e	inf

rewrite160.0ms (5.6%)

Memory

30.5MiB live, 76.4MiB allocated; 9ms 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))

eval74.0ms (2.6%)

Memory: -24.1MiB live, 70.3MiB allocated; 21ms collecting garbage
Compiler: Compiled 7 949 to 1 440 computations (81.9% saved)

prune12.0ms (0.4%)

Memory

19.6MiB live, 19.6MiB allocated; 0ms 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)

series195.0ms (6.8%)

Memory

16.1MiB live, 153.8MiB allocated; 47ms 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
6.0ms	b	inf
2.0ms	b	-inf
2.0ms	a	-inf
2.0ms	a	inf
1.0ms	a	0

rewrite149.0ms (5.2%)

Memory

-6.2MiB live, 127.9MiB allocated; 22ms 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))

eval42.0ms (1.5%)

Memory: 7.5MiB live, 53.8MiB allocated; 24ms collecting garbage
Compiler: Compiled 8 360 to 1 269 computations (84.8% saved)

prune22.0ms (0.8%)

Memory

-13.6MiB live, 31.6MiB allocated; 4ms 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)

series169.0ms (5.9%)

Memory

20.0MiB live, 164.3MiB allocated; 79ms 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
1.0ms	c	-inf
1.0ms	b	-inf
1.0ms	d	-inf
1.0ms	e	-inf
1.0ms	e	inf

rewrite157.0ms (5.5%)

Memory

12.0MiB live, 148.7MiB allocated; 16ms 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))

eval51.0ms (1.8%)

Memory: -18.2MiB live, 28.9MiB allocated; 20ms collecting garbage
Compiler: Compiled 2 941 to 587 computations (80% saved)

prune26.0ms (0.9%)

Memory

-18.8MiB live, 26.6MiB allocated; 8ms 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)

regimes168.0ms (5.9%)

Memory

10.7MiB live, 243.3MiB allocated; 35ms 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:

21.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
13.0ms	(+.f64 (+.f64 e d) c)
12.0ms	b
7.0ms	c
7.0ms	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

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

Stop Event

1×

fuel

Compiler

Compiled 105 to 29 computations (72.4% saved)

preprocess32.0ms (1.1%)

Memory: 13.3MiB live, 59.5MiB allocated; 5ms 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%)

sample831.0ms (29.1%)

preprocess164.0ms (5.7%)

series109.0ms (3.8%)

rewrite133.0ms (4.6%)

eval121.0ms (4.2%)

prune7.0ms (0.2%)

series234.0ms (8.2%)

rewrite160.0ms (5.6%)

eval74.0ms (2.6%)

prune12.0ms (0.4%)

series195.0ms (6.8%)

rewrite149.0ms (5.2%)

eval42.0ms (1.5%)

prune22.0ms (0.8%)

series169.0ms (5.9%)

rewrite157.0ms (5.5%)

eval51.0ms (1.8%)

prune26.0ms (0.9%)

regimes168.0ms (5.9%)

derivations1.0ms (0%)

preprocess32.0ms (1.1%)

end0.0ms (0%)

Profiling