Metrics for Quotient of sum of exps

start0.0ms (0%)

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

analyze5.0ms (0.2%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
50%	50%	50%	0.1%	0%	0%	0%	2
75%	74.9%	25%	0.1%	0%	0%	0%	3
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	4
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	5
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	6
95.2%	93.7%	4.7%	0.1%	0%	1.6%	0%	7
96%	93.7%	3.9%	0.1%	0%	2.3%	0%	8
97.2%	93.7%	2.7%	0.1%	0%	3.5%	0%	9
97.8%	93.7%	2.1%	0.1%	0%	4.1%	0%	10
98.5%	93.7%	1.5%	0.1%	0%	4.8%	0%	11
98.8%	93.7%	1.1%	0.1%	0%	5.1%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample1.1s (37.1%)

Memory

-11.1MiB live, 1 183.5MiB allocated; 300ms collecting garbage

Samples

481.0ms	8 256×	0	valid
237.0ms	2 848×	0	exit

Precisions

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

ival-exp: 274.0ms (61.9% of total)

ival-div!: 136.0ms (30.7% of total)

ival-add!: 31.0ms (7% of total)

adjust: 2.0ms (0.5% of total)

Bogosity

preprocess26.0ms (0.9%)

Memory

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

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	18	56
1	46	56
2	155	56
3	705	56
4	3858	51

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.7%	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 14 to 12 computations (14.3% saved)

series10.0ms (0.3%)

Memory

-33.6MiB live, 13.5MiB allocated; 3ms collecting garbage

Counts

6 → 30

Calls

Call 1

Inputs
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
(exp.f64 a)
a
(+.f64 (exp.f64 a) (exp.f64 b))
(exp.f64 b)
b

Outputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 3))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (+ (* a (- (+ (* 1/6 (/ 1 (+ 1 (exp b)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 3)))) (+ (* 1/6 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2))) (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 4))))))) (/ 1 (pow (+ 1 (exp b)) 3)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (exp a) #s(hole binary64 1))
#s(approx (exp a) #s(hole binary64 (+ 1 a)))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* 1/2 a))))))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx a #s(hole binary64 a))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ a (exp b)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* 1/2 a)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* a (+ 1/2 (* 1/6 a)))))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ (exp a) (exp b)))))
#s(approx (exp a) #s(hole binary64 (exp a)))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ (exp a) (exp b))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ 1 (exp a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* -1 (/ (* b (exp a)) (pow (+ 1 (exp a)) 2))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* -1 (* b (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* b (- (* -1 (* b (+ (* -1 (/ (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))) (+ 1 (exp a)))) (+ (* -1/2 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/6 (/ (exp a) (pow (+ 1 (exp a)) 2))))))) (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ b (exp a)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* 1/2 b)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* b (+ 1/2 (* 1/6 b)))))))))
#s(approx (exp b) #s(hole binary64 1))
#s(approx (exp b) #s(hole binary64 (+ 1 b)))
#s(approx (exp b) #s(hole binary64 (+ 1 (* b (+ 1 (* 1/2 b))))))
#s(approx (exp b) #s(hole binary64 (+ 1 (* b (+ 1 (* b (+ 1/2 (* 1/6 b))))))))
#s(approx b #s(hole binary64 b))
#s(approx (exp b) #s(hole binary64 (exp b)))

Calls

6 calls:

Time	Variable		Point	Expression
5.0ms	a	@	0	((/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (exp b) b)
1.0ms	a	@	-inf	((/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (exp b) b)
1.0ms	a	@	inf	((/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (exp b) b)
1.0ms	b	@	0	((/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (exp b) b)
1.0ms	b	@	-inf	((/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (exp b) b)

rewrite222.0ms (7.5%)

Memory

10.7MiB live, 236.9MiB allocated; 69ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	154	730
0	158	693
1	1064	684
0	8141	639

Stop Event

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

Counts

36 → 54

Calls

Call 1

Inputs
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
(exp.f64 a)
a
(+.f64 (exp.f64 a) (exp.f64 b))
(exp.f64 b)
b
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 3))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (+ (* a (- (+ (* 1/6 (/ 1 (+ 1 (exp b)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 3)))) (+ (* 1/6 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2))) (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 4))))))) (/ 1 (pow (+ 1 (exp b)) 3)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (exp a) #s(hole binary64 1))
#s(approx (exp a) #s(hole binary64 (+ 1 a)))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* 1/2 a))))))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx a #s(hole binary64 a))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ a (exp b)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* 1/2 a)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* a (+ 1/2 (* 1/6 a)))))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ (exp a) (exp b)))))
#s(approx (exp a) #s(hole binary64 (exp a)))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ (exp a) (exp b))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ 1 (exp a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* -1 (/ (* b (exp a)) (pow (+ 1 (exp a)) 2))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* -1 (* b (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* b (- (* -1 (* b (+ (* -1 (/ (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))) (+ 1 (exp a)))) (+ (* -1/2 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/6 (/ (exp a) (pow (+ 1 (exp a)) 2))))))) (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ b (exp a)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* 1/2 b)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* b (+ 1/2 (* 1/6 b)))))))))
#s(approx (exp b) #s(hole binary64 1))
#s(approx (exp b) #s(hole binary64 (+ 1 b)))
#s(approx (exp b) #s(hole binary64 (+ 1 (* b (+ 1 (* 1/2 b))))))
#s(approx (exp b) #s(hole binary64 (+ 1 (* b (+ 1 (* b (+ 1/2 (* 1/6 b))))))))
#s(approx b #s(hole binary64 b))
#s(approx (exp b) #s(hole binary64 (exp b)))

Outputs
(/.f64 (neg.f64 (neg.f64 (exp.f64 a))) (neg.f64 (neg.f64 (+.f64 (exp.f64 b) (exp.f64 a)))))
(/.f64 (neg.f64 (exp.f64 a)) (neg.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(+.f64 (/.f64 (cosh.f64 a) (+.f64 (exp.f64 b) (exp.f64 a))) (/.f64 (sinh.f64 a) (+.f64 (exp.f64 b) (exp.f64 a))))
(/.f64 (-.f64 (.f64 (cosh.f64 a) (cosh.f64 a)) (.f64 (sinh.f64 a) (sinh.f64 a))) (-.f64 (cosh.f64 a) (sinh.f64 a)))
(/.f64 (+.f64 (pow.f64 (cosh.f64 a) #s(literal 3 binary64)) (pow.f64 (sinh.f64 a) #s(literal 3 binary64))) (fma.f64 (cosh.f64 a) (cosh.f64 a) (-.f64 (.f64 (sinh.f64 a) (sinh.f64 a)) (.f64 (cosh.f64 a) (sinh.f64 a)))))
(exp.f64 a)
(+.f64 (cosh.f64 a) (sinh.f64 a))
a
(/.f64 (-.f64 (exp.f64 (+.f64 b b)) (exp.f64 (+.f64 a a))) (-.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (+.f64 (exp.f64 (.f64 b #s(literal 3 binary64))) (exp.f64 (.f64 a #s(literal 3 binary64)))) (+.f64 (exp.f64 (+.f64 b b)) (-.f64 (exp.f64 (+.f64 a a)) (*.f64 (exp.f64 b) (exp.f64 a)))))
(/.f64 (neg.f64 (-.f64 (exp.f64 (+.f64 a a)) (exp.f64 (+.f64 b b)))) (neg.f64 (-.f64 (exp.f64 a) (exp.f64 b))))
(/.f64 (neg.f64 (+.f64 (exp.f64 (.f64 a #s(literal 3 binary64))) (exp.f64 (.f64 b #s(literal 3 binary64))))) (neg.f64 (+.f64 (exp.f64 (+.f64 a a)) (-.f64 (exp.f64 (+.f64 b b)) (exp.f64 (+.f64 a b))))))
(/.f64 (-.f64 (exp.f64 (+.f64 a a)) (exp.f64 (+.f64 b b))) (-.f64 (exp.f64 a) (exp.f64 b)))
(/.f64 (+.f64 (exp.f64 (.f64 a #s(literal 3 binary64))) (exp.f64 (.f64 b #s(literal 3 binary64)))) (+.f64 (exp.f64 (+.f64 a a)) (-.f64 (exp.f64 (+.f64 b b)) (exp.f64 (+.f64 a b)))))
(-.f64 (/.f64 (exp.f64 (+.f64 a a)) (-.f64 (exp.f64 a) (exp.f64 b))) (/.f64 (exp.f64 (+.f64 b b)) (-.f64 (exp.f64 a) (exp.f64 b))))
(+.f64 (/.f64 (exp.f64 (.f64 a #s(literal 3 binary64))) (+.f64 (exp.f64 (+.f64 a a)) (-.f64 (exp.f64 (+.f64 b b)) (exp.f64 (+.f64 a b))))) (/.f64 (exp.f64 (.f64 b #s(literal 3 binary64))) (+.f64 (exp.f64 (+.f64 a a)) (-.f64 (exp.f64 (+.f64 b b)) (exp.f64 (+.f64 a b))))))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 a) (exp.f64 b))
(/.f64 (-.f64 (.f64 (cosh.f64 b) (cosh.f64 b)) (.f64 (sinh.f64 b) (sinh.f64 b))) (-.f64 (cosh.f64 b) (sinh.f64 b)))
(/.f64 (+.f64 (pow.f64 (cosh.f64 b) #s(literal 3 binary64)) (pow.f64 (sinh.f64 b) #s(literal 3 binary64))) (fma.f64 (cosh.f64 b) (cosh.f64 b) (-.f64 (.f64 (sinh.f64 b) (sinh.f64 b)) (.f64 (cosh.f64 b) (sinh.f64 b)))))
(exp.f64 b)
(+.f64 (cosh.f64 b) (sinh.f64 b))
b
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (fma.f64 a (-.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64)) (/.f64 #s(literal 1/2 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (*.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)) #s(literal 3/2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (-.f64 (fma.f64 (-.f64 (fma.f64 #s(literal 3/2 binary64) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64)) (/.f64 #s(literal 1/6 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (+.f64 (/.f64 #s(literal 2/3 binary64) (.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (fma.f64 #s(literal 1/2 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -4 binary64))))) a (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64))) (.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)) #s(literal 3/2 binary64)))) a (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (exp a) #s(literal 1 binary64))
#s(approx (exp a) (-.f64 a #s(literal -1 binary64)))
#s(approx (exp a) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 1 binary64)))
#s(approx (exp a) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) a #s(literal 1/2 binary64)) a #s(literal 1 binary64)) a #s(literal 1 binary64)))
#s(approx a a)
#s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 b) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (-.f64 (+.f64 (exp.f64 b) a) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (-.f64 (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a (exp.f64 b)) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (-.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) a #s(literal 1/2 binary64)) a #s(literal 1 binary64)) a (exp.f64 b)) #s(literal -1 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a))))
#s(approx (exp a) (exp.f64 a))
#s(approx (+ (exp a) (exp b)) (+.f64 (exp.f64 b) (exp.f64 a)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (+.f64 (neg.f64 (.f64 b (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))))) (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (neg.f64 (.f64 (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))))) b)) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64))))) b (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (.f64 (-.f64 (neg.f64 (.f64 (+.f64 (fma.f64 #s(literal -1/2 binary64) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))) (.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/6 binary64))) (neg.f64 (/.f64 (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))))) (-.f64 (exp.f64 a) #s(literal -1 binary64))))) b)) (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64))))))) b) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64))))) b (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (-.f64 (+.f64 (exp.f64 a) b) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (-.f64 (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b (exp.f64 a)) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (-.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) b #s(literal 1/2 binary64)) b #s(literal 1 binary64)) b (exp.f64 a)) #s(literal -1 binary64)))
#s(approx (exp b) #s(literal 1 binary64))
#s(approx (exp b) (-.f64 b #s(literal -1 binary64)))
#s(approx (exp b) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 1 binary64)))
#s(approx (exp b) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) b #s(literal 1/2 binary64)) b #s(literal 1 binary64)) b #s(literal 1 binary64)))
#s(approx b b)
#s(approx (exp b) (exp.f64 b))

eval6.0ms (0.2%)

Memory: 8.1MiB live, 8.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 699 to 273 computations (60.9% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	2	59

Accuracy

99.4%

Counts

59 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	69.0%	(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
▶	77.3%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))

Status

Accuracy

Program

▶

69.0%

(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64))))

▶

77.3%

#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))

Compiler

Compiled 24 to 22 computations (8.3% saved)

series6.0ms (0.2%)

Memory

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

Counts

12 → 45

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
(/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))
#s(literal 1 binary64)
(-.f64 (exp.f64 b) #s(literal -1 binary64))
(exp.f64 b)
b
#s(literal -1 binary64)
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
(exp.f64 a)
a
#s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64)))
(-.f64 (exp.f64 a) #s(literal -1 binary64))

Outputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 3))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (+ (* a (- (+ (* 1/6 (/ 1 (+ 1 (exp b)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 3)))) (+ (* 1/6 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2))) (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 4))))))) (/ 1 (pow (+ 1 (exp b)) 3)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (exp a) #s(hole binary64 1))
#s(approx (exp a) #s(hole binary64 (+ 1 a)))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* 1/2 a))))))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx a #s(hole binary64 a))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ a (exp b)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* 1/2 a)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* a (+ 1/2 (* 1/6 a)))))))))
#s(approx (- (exp a) -1) #s(hole binary64 2))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 a)))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* 1/2 a))))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ (exp a) (exp b)))))
#s(approx (exp a) #s(hole binary64 (exp a)))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ (exp a) (exp b))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 1 (exp a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ 1 (exp a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* -1 (/ (* b (exp a)) (pow (+ 1 (exp a)) 2))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* -1 (* b (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* b (- (* -1 (* b (+ (* -1 (/ (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))) (+ 1 (exp a)))) (+ (* -1/2 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/6 (/ (exp a) (pow (+ 1 (exp a)) 2))))))) (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 1/2))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* -1/4 b))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* 1/48 (pow b 2)) 1/4)))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* (pow b 2) (+ 1/48 (* -1/480 (pow b 2)))) 1/4)))))
#s(approx (- (exp b) -1) #s(hole binary64 2))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 b)))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* 1/2 b))))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* b (+ 1/2 (* 1/6 b))))))))
#s(approx (exp b) #s(hole binary64 1))
#s(approx (exp b) #s(hole binary64 (+ 1 b)))
#s(approx (exp b) #s(hole binary64 (+ 1 (* b (+ 1 (* 1/2 b))))))
#s(approx (exp b) #s(hole binary64 (+ 1 (* b (+ 1 (* b (+ 1/2 (* 1/6 b))))))))
#s(approx b #s(hole binary64 b))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ b (exp a)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* 1/2 b)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* b (+ 1/2 (* 1/6 b)))))))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 1 (exp b))))
#s(approx (exp b) #s(hole binary64 (exp b)))

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	b	@	0	((/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (exp b) b -1 (/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (- (exp a) -1))
1.0ms	b	@	-inf	((/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (exp b) b -1 (/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (- (exp a) -1))
1.0ms	b	@	inf	((/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (exp b) b -1 (/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (- (exp a) -1))
1.0ms	a	@	-inf	((/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (exp b) b -1 (/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (- (exp a) -1))
1.0ms	a	@	inf	((/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (exp b) b -1 (/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (- (exp a) -1))

rewrite160.0ms (5.4%)

Memory

29.9MiB live, 159.0MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	199	956
0	210	919
1	1326	910
0	8524	849

Stop Event

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

Counts

57 → 113

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
(/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))
#s(literal 1 binary64)
(-.f64 (exp.f64 b) #s(literal -1 binary64))
(exp.f64 b)
b
#s(literal -1 binary64)
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
(exp.f64 a)
a
#s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64)))
(-.f64 (exp.f64 a) #s(literal -1 binary64))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 3))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (+ (* a (- (+ (* 1/6 (/ 1 (+ 1 (exp b)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 3)))) (+ (* 1/6 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2))) (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 4))))))) (/ 1 (pow (+ 1 (exp b)) 3)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (exp a) #s(hole binary64 1))
#s(approx (exp a) #s(hole binary64 (+ 1 a)))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* 1/2 a))))))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx a #s(hole binary64 a))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ a (exp b)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* 1/2 a)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* a (+ 1/2 (* 1/6 a)))))))))
#s(approx (- (exp a) -1) #s(hole binary64 2))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 a)))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* 1/2 a))))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ (exp a) (exp b)))))
#s(approx (exp a) #s(hole binary64 (exp a)))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ (exp a) (exp b))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 1 (exp a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ 1 (exp a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* -1 (/ (* b (exp a)) (pow (+ 1 (exp a)) 2))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* -1 (* b (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* b (- (* -1 (* b (+ (* -1 (/ (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))) (+ 1 (exp a)))) (+ (* -1/2 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/6 (/ (exp a) (pow (+ 1 (exp a)) 2))))))) (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 1/2))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* -1/4 b))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* 1/48 (pow b 2)) 1/4)))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* (pow b 2) (+ 1/48 (* -1/480 (pow b 2)))) 1/4)))))
#s(approx (- (exp b) -1) #s(hole binary64 2))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 b)))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* 1/2 b))))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* b (+ 1/2 (* 1/6 b))))))))
#s(approx (exp b) #s(hole binary64 1))
#s(approx (exp b) #s(hole binary64 (+ 1 b)))
#s(approx (exp b) #s(hole binary64 (+ 1 (* b (+ 1 (* 1/2 b))))))
#s(approx (exp b) #s(hole binary64 (+ 1 (* b (+ 1 (* b (+ 1/2 (* 1/6 b))))))))
#s(approx b #s(hole binary64 b))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ b (exp a)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* 1/2 b)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* b (+ 1/2 (* 1/6 b)))))))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 1 (exp b))))
#s(approx (exp b) #s(hole binary64 (exp b)))

Outputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
(pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) (exp.f64 b)))
(/.f64 #s(literal -1 binary64) (neg.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64))))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64))) #s(literal -1 binary64)))
#s(literal 1 binary64)
(pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) #s(literal -1 binary64))
(pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal 1 binary64))
(/.f64 (+.f64 (exp.f64 (.f64 b #s(literal 3 binary64))) #s(literal 1 binary64)) (+.f64 (exp.f64 (+.f64 b b)) (-.f64 #s(literal 1 binary64) (.f64 (exp.f64 b) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (expm1.f64 (+.f64 b b))) (neg.f64 (+.f64 (exp.f64 b) #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (exp.f64 (+.f64 b b)))) (neg.f64 (-.f64 #s(literal 1 binary64) (exp.f64 b))))
(/.f64 (neg.f64 (-.f64 (exp.f64 (.f64 b #s(literal 3 binary64))) #s(literal -1 binary64))) (neg.f64 (+.f64 (exp.f64 (+.f64 b b)) (+.f64 #s(literal 1 binary64) (.f64 (exp.f64 b) #s(literal -1 binary64))))))
(/.f64 (neg.f64 (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 b #s(literal 3 binary64))))) (neg.f64 (+.f64 #s(literal 1 binary64) (-.f64 (exp.f64 (+.f64 b b)) (exp.f64 (+.f64 #s(literal 0 binary64) b))))))
(/.f64 (expm1.f64 (+.f64 b b)) (expm1.f64 b))
(/.f64 (expm1.f64 (+.f64 b b)) (+.f64 (exp.f64 b) #s(literal -1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (exp.f64 (+.f64 b b))) (-.f64 #s(literal 1 binary64) (exp.f64 b)))
(/.f64 (-.f64 (exp.f64 (.f64 b #s(literal 3 binary64))) #s(literal -1 binary64)) (+.f64 (exp.f64 (+.f64 b b)) (+.f64 #s(literal 1 binary64) (.f64 (exp.f64 b) #s(literal -1 binary64)))))
(/.f64 (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 b #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (-.f64 (exp.f64 (+.f64 b b)) (exp.f64 (+.f64 #s(literal 0 binary64) b)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
(neg.f64 (-.f64 #s(literal -1 binary64) (exp.f64 b)))
(-.f64 (/.f64 (exp.f64 (+.f64 b b)) (+.f64 (exp.f64 b) #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (exp.f64 b) #s(literal -1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 b))) (/.f64 (exp.f64 (+.f64 b b)) (-.f64 #s(literal 1 binary64) (exp.f64 b))))
(-.f64 (/.f64 (exp.f64 (.f64 b #s(literal 3 binary64))) (+.f64 (exp.f64 (+.f64 b b)) (+.f64 #s(literal 1 binary64) (.f64 (exp.f64 b) #s(literal -1 binary64))))) (/.f64 #s(literal -1 binary64) (+.f64 (exp.f64 (+.f64 b b)) (+.f64 #s(literal 1 binary64) (*.f64 (exp.f64 b) #s(literal -1 binary64))))))
(-.f64 (exp.f64 b) #s(literal -1 binary64))
(exp.f64 (*.f64 (log.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64))) #s(literal 1 binary64)))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (exp.f64 (+.f64 b b)) (exp.f64 (+.f64 #s(literal 0 binary64) b))))) (/.f64 (exp.f64 (*.f64 b #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (-.f64 (exp.f64 (+.f64 b b)) (exp.f64 (+.f64 #s(literal 0 binary64) b))))))
(+.f64 #s(literal 1 binary64) (exp.f64 b))
(+.f64 (exp.f64 b) #s(literal 1 binary64))
(/.f64 (-.f64 (.f64 (cosh.f64 b) (cosh.f64 b)) (.f64 (sinh.f64 b) (sinh.f64 b))) (-.f64 (cosh.f64 b) (sinh.f64 b)))
(/.f64 (+.f64 (pow.f64 (cosh.f64 b) #s(literal 3 binary64)) (pow.f64 (sinh.f64 b) #s(literal 3 binary64))) (fma.f64 (cosh.f64 b) (cosh.f64 b) (-.f64 (.f64 (sinh.f64 b) (sinh.f64 b)) (.f64 (cosh.f64 b) (sinh.f64 b)))))
(exp.f64 b)
(+.f64 (cosh.f64 b) (sinh.f64 b))
b
#s(literal -1 binary64)
(/.f64 (neg.f64 (neg.f64 (exp.f64 a))) (neg.f64 (neg.f64 #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64))))))
(/.f64 (neg.f64 (exp.f64 a)) (neg.f64 #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
(+.f64 (/.f64 (cosh.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64)))) (/.f64 (sinh.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
(/.f64 (-.f64 (.f64 (cosh.f64 a) (cosh.f64 a)) (.f64 (sinh.f64 a) (sinh.f64 a))) (-.f64 (cosh.f64 a) (sinh.f64 a)))
(/.f64 (+.f64 (pow.f64 (cosh.f64 a) #s(literal 3 binary64)) (pow.f64 (sinh.f64 a) #s(literal 3 binary64))) (fma.f64 (cosh.f64 a) (cosh.f64 a) (-.f64 (.f64 (sinh.f64 a) (sinh.f64 a)) (.f64 (cosh.f64 a) (sinh.f64 a)))))
(exp.f64 a)
(+.f64 (cosh.f64 a) (sinh.f64 a))
a
#s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64)))
(pow.f64 (pow.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64))
(pow.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64)) #s(literal 1 binary64))
(/.f64 (+.f64 (exp.f64 (.f64 a #s(literal 3 binary64))) #s(literal 1 binary64)) (+.f64 (exp.f64 (+.f64 a a)) (-.f64 #s(literal 1 binary64) (.f64 (exp.f64 a) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (expm1.f64 (+.f64 a a))) (neg.f64 (+.f64 (exp.f64 a) #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (exp.f64 (+.f64 a a)))) (neg.f64 (-.f64 #s(literal 1 binary64) (exp.f64 a))))
(/.f64 (neg.f64 (-.f64 (exp.f64 (.f64 a #s(literal 3 binary64))) #s(literal -1 binary64))) (neg.f64 (+.f64 (exp.f64 (+.f64 a a)) (+.f64 #s(literal 1 binary64) (.f64 (exp.f64 a) #s(literal -1 binary64))))))
(/.f64 (neg.f64 (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 a #s(literal 3 binary64))))) (neg.f64 (+.f64 #s(literal 1 binary64) (-.f64 (exp.f64 (+.f64 a a)) (exp.f64 (+.f64 #s(literal 0 binary64) a))))))
(/.f64 (expm1.f64 (+.f64 a a)) (expm1.f64 a))
(/.f64 (expm1.f64 (+.f64 a a)) (+.f64 (exp.f64 a) #s(literal -1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (exp.f64 (+.f64 a a))) (-.f64 #s(literal 1 binary64) (exp.f64 a)))
(/.f64 (-.f64 (exp.f64 (.f64 a #s(literal 3 binary64))) #s(literal -1 binary64)) (+.f64 (exp.f64 (+.f64 a a)) (+.f64 #s(literal 1 binary64) (.f64 (exp.f64 a) #s(literal -1 binary64)))))
(/.f64 (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 a #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (-.f64 (exp.f64 (+.f64 a a)) (exp.f64 (+.f64 #s(literal 0 binary64) a)))))
(/.f64 #s(literal 1 binary64) (pow.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64)) #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) (exp.f64 a)))
(-.f64 (/.f64 (exp.f64 (+.f64 a a)) (+.f64 (exp.f64 a) #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (exp.f64 a) #s(literal -1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 a))) (/.f64 (exp.f64 (+.f64 a a)) (-.f64 #s(literal 1 binary64) (exp.f64 a))))
(-.f64 (/.f64 (exp.f64 (.f64 a #s(literal 3 binary64))) (+.f64 (exp.f64 (+.f64 a a)) (+.f64 #s(literal 1 binary64) (.f64 (exp.f64 a) #s(literal -1 binary64))))) (/.f64 #s(literal -1 binary64) (+.f64 (exp.f64 (+.f64 a a)) (+.f64 #s(literal 1 binary64) (*.f64 (exp.f64 a) #s(literal -1 binary64))))))
(-.f64 (exp.f64 a) #s(literal -1 binary64))
(exp.f64 (*.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 1 binary64)))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (exp.f64 (+.f64 a a)) (exp.f64 (+.f64 #s(literal 0 binary64) a))))) (/.f64 (exp.f64 (*.f64 a #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (-.f64 (exp.f64 (+.f64 a a)) (exp.f64 (+.f64 #s(literal 0 binary64) a))))))
(+.f64 #s(literal 1 binary64) (exp.f64 a))
(+.f64 (exp.f64 a) #s(literal 1 binary64))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (fma.f64 a (-.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64)) (/.f64 #s(literal 1/2 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (*.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)) #s(literal 3/2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (-.f64 (fma.f64 (-.f64 (fma.f64 #s(literal 3/2 binary64) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64)) (/.f64 #s(literal 1/6 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (+.f64 (/.f64 #s(literal 2/3 binary64) (.f64 (-.f64 #s(literal -1 binary64) (exp.f64 b)) (-.f64 #s(literal -1 binary64) (exp.f64 b)))) (fma.f64 #s(literal 1/2 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -4 binary64))))) a (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64))) (.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)) #s(literal 3/2 binary64)))) a (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (exp a) #s(literal 1 binary64))
#s(approx (exp a) (+.f64 #s(literal 1 binary64) a))
#s(approx (exp a) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 1 binary64)))
#s(approx (exp a) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) a #s(literal 1/2 binary64)) a #s(literal 1 binary64)) a #s(literal 1 binary64)))
#s(approx a a)
#s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 b) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (+.f64 (exp.f64 b) a) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a (exp.f64 b)) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) a #s(literal 1/2 binary64)) a #s(literal 1 binary64)) a (exp.f64 b)) #s(literal 1 binary64)))
#s(approx (- (exp a) -1) #s(literal 2 binary64))
#s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))
#s(approx (- (exp a) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 2 binary64)))
#s(approx (- (exp a) -1) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) a #s(literal 1/2 binary64)) a #s(literal 1 binary64)) a #s(literal 2 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a))))
#s(approx (exp a) (exp.f64 a))
#s(approx (+ (exp a) (exp b)) (+.f64 (exp.f64 b) (exp.f64 a)))
#s(approx (- (exp a) -1) (-.f64 (exp.f64 a) #s(literal -1 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (+.f64 (neg.f64 (.f64 b (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))))) (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (neg.f64 (.f64 (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))))) b)) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64))))) b (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (.f64 (-.f64 (neg.f64 (.f64 (+.f64 (fma.f64 #s(literal -1/2 binary64) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))) (.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/6 binary64))) (neg.f64 (/.f64 (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))))) (-.f64 (exp.f64 a) #s(literal -1 binary64))))) b)) (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64))))))) b) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64))))) b (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64)))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (fma.f64 #s(literal -1/480 binary64) (.f64 b b) #s(literal 1/48 binary64)) (.f64 b b) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
#s(approx (- (exp b) -1) #s(literal 2 binary64))
#s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))
#s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))
#s(approx (- (exp b) -1) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) b #s(literal 1/2 binary64)) b #s(literal 1 binary64)) b #s(literal 2 binary64)))
#s(approx (exp b) #s(literal 1 binary64))
#s(approx (exp b) (+.f64 #s(literal 1 binary64) b))
#s(approx (exp b) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 1 binary64)))
#s(approx (exp b) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) b #s(literal 1/2 binary64)) b #s(literal 1 binary64)) b #s(literal 1 binary64)))
#s(approx b b)
#s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (+.f64 b (exp.f64 a)) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b (exp.f64 a)) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) b #s(literal 1/2 binary64)) b #s(literal 1 binary64)) b (exp.f64 a)) #s(literal 1 binary64)))
#s(approx (/ 1 (- (exp b) -1)) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
#s(approx (- (exp b) -1) (-.f64 (exp.f64 b) #s(literal -1 binary64)))
#s(approx (exp b) (exp.f64 b))

eval40.0ms (1.4%)

Memory: -45.8MiB live, 21.1MiB allocated; 41ms collecting garbage
Compiler: Compiled 1 130 to 526 computations (53.5% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	100	8	108
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	100	10	110

Accuracy

99.4%

Counts

110 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	69.0%	(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
▶	68.6%	(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
▶	68.5%	(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))
✓	77.3%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
	38.2%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 #s(approx (exp b) (+.f64 #s(literal 1 binary64) b)) #s(literal -1 binary64))))
	49.0%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))
▶	38.2%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
▶	37.3%	#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
	38.1%	#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64))))
▶	39.7%	#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))

Compiler

Compiled 280 to 250 computations (10.7% saved)

series8.0ms (0.3%)

Memory

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

Counts

26 → 61

Calls

Call 1

Inputs
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(exp.f64 a)
a
#s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a)))
#s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))
(+.f64 #s(literal 2 binary64) a)
#s(literal 2 binary64)
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b)))
#s(literal 1 binary64)
#s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))
(+.f64 #s(literal 2 binary64) b)
b
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
(fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))
(fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64))
(*.f64 b b)
#s(literal 1/48 binary64)
#s(literal -1/4 binary64)
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))
#s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64)))
#s(approx (- (exp a) -1) #s(literal 2 binary64))

Outputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 3))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (+ (* a (- (+ (* 1/6 (/ 1 (+ 1 (exp b)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 3)))) (+ (* 1/6 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2))) (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 4))))))) (/ 1 (pow (+ 1 (exp b)) 3)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (exp a) #s(hole binary64 1))
#s(approx (exp a) #s(hole binary64 (+ 1 a)))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* 1/2 a))))))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx a #s(hole binary64 a))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ a (exp b)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* 1/2 a)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* a (+ 1/2 (* 1/6 a)))))))))
#s(approx (- (exp a) -1) #s(hole binary64 2))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 a)))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* 1/2 a))))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx (+ 2 a) #s(hole binary64 2))
#s(approx (+ 2 a) #s(hole binary64 (+ 2 a)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ (exp a) (exp b)))))
#s(approx (exp a) #s(hole binary64 (exp a)))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ (exp a) (exp b))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ 2 a) #s(hole binary64 a))
#s(approx (+ 2 a) #s(hole binary64 (* a (+ 1 (* 2 (/ 1 a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ 1 (exp a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* -1 (/ (* b (exp a)) (pow (+ 1 (exp a)) 2))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* -1 (* b (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* b (- (* -1 (* b (+ (* -1 (/ (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))) (+ 1 (exp a)))) (+ (* -1/2 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/6 (/ (exp a) (pow (+ 1 (exp a)) 2))))))) (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ b (exp a)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* 1/2 b)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* b (+ 1/2 (* 1/6 b)))))))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 1/2))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* -1/4 b))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* 1/48 (pow b 2)) 1/4)))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* (pow b 2) (+ 1/48 (* -1/480 (pow b 2)))) 1/4)))))
#s(approx (- (exp b) -1) #s(hole binary64 2))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 b)))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* 1/2 b))))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* b (+ 1/2 (* 1/6 b))))))))
#s(approx (+ 2 b) #s(hole binary64 2))
#s(approx (+ 2 b) #s(hole binary64 (+ 2 b)))
#s(approx b #s(hole binary64 b))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 1/2))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (+ 1/2 (* -1/4 b))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (+ 1/2 (* b (- (* 1/48 (pow b 2)) 1/4)))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 -1/4))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (- (* 1/48 (pow b 2)) 1/4)))
#s(approx (* b b) #s(hole binary64 (pow b 2)))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ 2 b) #s(hole binary64 b))
#s(approx (+ 2 b) #s(hole binary64 (* b (+ 1 (* 2 (/ 1 b))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* 1/48 (pow b 3))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* (pow b 3) (- 1/48 (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* (pow b 3) (- (+ 1/48 (/ 1/2 (pow b 3))) (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (* 1/48 (pow b 2))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (* (pow b 2) (- 1/48 (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* -1 (* (pow b 3) (- (* 1/4 (/ 1 (pow b 2))) 1/48)))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* -1 (* (pow b 3) (- (* 1/4 (/ 1 (pow b 2))) (+ 1/48 (/ 1/2 (pow b 3))))))))

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	b	@	-inf	((/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (- (exp a) -1) (+ 2 a) 2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1/2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (+ 2 b) b (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (+ (* (* b b) 1/48) -1/4) (* b b) 1/48 -1/4 (/ (exp a) (+ (exp a) (exp b))) (+ (exp a) (exp b)) (- (exp a) -1))
2.0ms	b	@	inf	((/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (- (exp a) -1) (+ 2 a) 2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1/2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (+ 2 b) b (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (+ (* (* b b) 1/48) -1/4) (* b b) 1/48 -1/4 (/ (exp a) (+ (exp a) (exp b))) (+ (exp a) (exp b)) (- (exp a) -1))
1.0ms	b	@	0	((/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (- (exp a) -1) (+ 2 a) 2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1/2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (+ 2 b) b (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (+ (* (* b b) 1/48) -1/4) (* b b) 1/48 -1/4 (/ (exp a) (+ (exp a) (exp b))) (+ (exp a) (exp b)) (- (exp a) -1))
1.0ms	a	@	inf	((/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (- (exp a) -1) (+ 2 a) 2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1/2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (+ 2 b) b (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (+ (* (* b b) 1/48) -1/4) (* b b) 1/48 -1/4 (/ (exp a) (+ (exp a) (exp b))) (+ (exp a) (exp b)) (- (exp a) -1))
1.0ms	a	@	-inf	((/ (exp a) (+ (exp a) (exp b))) (exp a) a (+ (exp a) (exp b)) (- (exp a) -1) (+ 2 a) 2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1/2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (+ 2 b) b (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (+ (* (* b b) 1/48) -1/4) (* b b) 1/48 -1/4 (/ (exp a) (+ (exp a) (exp b))) (+ (exp a) (exp b)) (- (exp a) -1))

rewrite178.0ms (6%)

Memory

-29.8MiB live, 201.8MiB allocated; 28ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	251	1352
0	263	1294
1	1542	1285
0	8745	1228

Stop Event

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

Counts

87 → 166

Calls

Call 1

Inputs
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(exp.f64 a)
a
#s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a)))
#s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))
(+.f64 #s(literal 2 binary64) a)
#s(literal 2 binary64)
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b)))
#s(literal 1 binary64)
#s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))
(+.f64 #s(literal 2 binary64) b)
b
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
(fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))
(fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64))
(*.f64 b b)
#s(literal 1/48 binary64)
#s(literal -1/4 binary64)
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))
#s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64)))
#s(approx (- (exp a) -1) #s(literal 2 binary64))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 3))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (+ (* a (- (+ (* 1/6 (/ 1 (+ 1 (exp b)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 3)))) (+ (* 1/6 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2))) (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 4))))))) (/ 1 (pow (+ 1 (exp b)) 3)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (exp a) #s(hole binary64 1))
#s(approx (exp a) #s(hole binary64 (+ 1 a)))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* 1/2 a))))))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx a #s(hole binary64 a))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ a (exp b)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* 1/2 a)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* a (+ 1/2 (* 1/6 a)))))))))
#s(approx (- (exp a) -1) #s(hole binary64 2))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 a)))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* 1/2 a))))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx (+ 2 a) #s(hole binary64 2))
#s(approx (+ 2 a) #s(hole binary64 (+ 2 a)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ (exp a) (exp b)))))
#s(approx (exp a) #s(hole binary64 (exp a)))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ (exp a) (exp b))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ 2 a) #s(hole binary64 a))
#s(approx (+ 2 a) #s(hole binary64 (* a (+ 1 (* 2 (/ 1 a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ 1 (exp a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* -1 (/ (* b (exp a)) (pow (+ 1 (exp a)) 2))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* -1 (* b (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* b (- (* -1 (* b (+ (* -1 (/ (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))) (+ 1 (exp a)))) (+ (* -1/2 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/6 (/ (exp a) (pow (+ 1 (exp a)) 2))))))) (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ b (exp a)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* 1/2 b)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* b (+ 1/2 (* 1/6 b)))))))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 1/2))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* -1/4 b))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* 1/48 (pow b 2)) 1/4)))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* (pow b 2) (+ 1/48 (* -1/480 (pow b 2)))) 1/4)))))
#s(approx (- (exp b) -1) #s(hole binary64 2))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 b)))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* 1/2 b))))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* b (+ 1/2 (* 1/6 b))))))))
#s(approx (+ 2 b) #s(hole binary64 2))
#s(approx (+ 2 b) #s(hole binary64 (+ 2 b)))
#s(approx b #s(hole binary64 b))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 1/2))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (+ 1/2 (* -1/4 b))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (+ 1/2 (* b (- (* 1/48 (pow b 2)) 1/4)))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 -1/4))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (- (* 1/48 (pow b 2)) 1/4)))
#s(approx (* b b) #s(hole binary64 (pow b 2)))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ 2 b) #s(hole binary64 b))
#s(approx (+ 2 b) #s(hole binary64 (* b (+ 1 (* 2 (/ 1 b))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* 1/48 (pow b 3))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* (pow b 3) (- 1/48 (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* (pow b 3) (- (+ 1/48 (/ 1/2 (pow b 3))) (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (* 1/48 (pow b 2))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (* (pow b 2) (- 1/48 (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* -1 (* (pow b 3) (- (* 1/4 (/ 1 (pow b 2))) 1/48)))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* -1 (* (pow b 3) (- (* 1/4 (/ 1 (pow b 2))) (+ 1/48 (/ 1/2 (pow b 3))))))))

Outputs
(/.f64 (neg.f64 (neg.f64 (exp.f64 a))) (neg.f64 (neg.f64 #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))))
(/.f64 (neg.f64 (exp.f64 a)) (neg.f64 #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a)))))
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(+.f64 (/.f64 (cosh.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a)))) (/.f64 (sinh.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a)))))
(/.f64 (+.f64 (pow.f64 (cosh.f64 a) #s(literal 3 binary64)) (pow.f64 (sinh.f64 a) #s(literal 3 binary64))) (fma.f64 (cosh.f64 a) (cosh.f64 a) (-.f64 (.f64 (sinh.f64 a) (sinh.f64 a)) (.f64 (cosh.f64 a) (sinh.f64 a)))))
(exp.f64 a)
(+.f64 (cosh.f64 a) (sinh.f64 a))
a
#s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a)))
#s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))
(/.f64 (fma.f64 (.f64 a a) a #s(literal 8 binary64)) (fma.f64 a a (-.f64 #s(literal 4 binary64) (.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 4 binary64) (*.f64 a a))) (neg.f64 (-.f64 #s(literal 2 binary64) a)))
(/.f64 (neg.f64 (+.f64 #s(literal 8 binary64) (.f64 (.f64 a a) a))) (neg.f64 (+.f64 #s(literal 4 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 2 binary64) a)))))
(/.f64 (-.f64 #s(literal 4 binary64) (*.f64 a a)) (-.f64 #s(literal 2 binary64) a))
(/.f64 (+.f64 #s(literal 8 binary64) (.f64 (.f64 a a) a)) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 2 binary64) a))))
(-.f64 (/.f64 #s(literal 4 binary64) (-.f64 #s(literal 2 binary64) a)) (/.f64 (*.f64 a a) (-.f64 #s(literal 2 binary64) a)))
(+.f64 (/.f64 #s(literal 8 binary64) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 2 binary64) a)))) (/.f64 (.f64 (.f64 a a) a) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 2 binary64) a)))))
(+.f64 #s(literal 2 binary64) a)
(+.f64 a #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(pow.f64 #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b)))))
(/.f64 #s(literal 1 binary64) (pow.f64 #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b)))
(/.f64 #s(literal -1 binary64) (neg.f64 #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(exp.f64 (*.f64 (log.f64 #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))) #s(literal -1 binary64)))
#s(literal 1 binary64)
#s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))
(/.f64 (fma.f64 (.f64 b b) b #s(literal 8 binary64)) (fma.f64 b b (-.f64 #s(literal 4 binary64) (.f64 b #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 4 binary64) (*.f64 b b))) (neg.f64 (-.f64 #s(literal 2 binary64) b)))
(/.f64 (neg.f64 (+.f64 #s(literal 8 binary64) (.f64 (.f64 b b) b))) (neg.f64 (+.f64 #s(literal 4 binary64) (-.f64 (.f64 b b) (.f64 #s(literal 2 binary64) b)))))
(/.f64 (-.f64 #s(literal 4 binary64) (*.f64 b b)) (-.f64 #s(literal 2 binary64) b))
(/.f64 (+.f64 #s(literal 8 binary64) (.f64 (.f64 b b) b)) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 b b) (.f64 #s(literal 2 binary64) b))))
(-.f64 (/.f64 #s(literal 4 binary64) (-.f64 #s(literal 2 binary64) b)) (/.f64 (*.f64 b b) (-.f64 #s(literal 2 binary64) b)))
(+.f64 (/.f64 #s(literal 8 binary64) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 b b) (.f64 #s(literal 2 binary64) b)))) (/.f64 (.f64 (.f64 b b) b) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 b b) (.f64 #s(literal 2 binary64) b)))))
(+.f64 #s(literal 2 binary64) b)
(+.f64 b #s(literal 2 binary64))
b
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
(/.f64 (-.f64 #s(literal 1/8 binary64) (pow.f64 (.f64 (neg.f64 b) (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64))) #s(literal 3 binary64))) (+.f64 #s(literal 1/4 binary64) (fma.f64 (.f64 (neg.f64 b) (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64))) (.f64 (neg.f64 b) (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64))) (.f64 #s(literal 1/2 binary64) (.f64 (neg.f64 b) (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)))))))
(/.f64 (neg.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b)))) (neg.f64 (-.f64 #s(literal 1/2 binary64) (.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b)) #s(literal 1/4 binary64))) (neg.f64 (-.f64 (.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))))
(/.f64 (neg.f64 (+.f64 #s(literal 1/8 binary64) (pow.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 3 binary64)))) (neg.f64 (+.f64 #s(literal 1/4 binary64) (-.f64 (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b)) (.f64 #s(literal 1/2 binary64) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 3 binary64)) #s(literal 1/8 binary64))) (neg.f64 (fma.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (-.f64 #s(literal 1/4 binary64) (.f64 (.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))))))
(/.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b))) (-.f64 #s(literal 1/2 binary64) (.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b)))
(/.f64 (-.f64 (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b)) #s(literal 1/4 binary64)) (-.f64 (.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64)))
(/.f64 (+.f64 #s(literal 1/8 binary64) (pow.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 3 binary64))) (+.f64 #s(literal 1/4 binary64) (-.f64 (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b)) (.f64 #s(literal 1/2 binary64) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b)))))
(/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (fma.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (-.f64 #s(literal 1/4 binary64) (.f64 (.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64)))))
(fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))
(fma.f64 b (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) #s(literal 1/2 binary64))
(-.f64 (/.f64 #s(literal 1/4 binary64) (-.f64 #s(literal 1/2 binary64) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b))) (/.f64 (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b)) (-.f64 #s(literal 1/2 binary64) (.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b))))
(-.f64 (/.f64 (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b)) (-.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))) (/.f64 #s(literal 1/4 binary64) (-.f64 (.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))))
(-.f64 #s(literal 1/2 binary64) (.f64 (neg.f64 b) (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64))))
(+.f64 (/.f64 #s(literal 1/8 binary64) (+.f64 #s(literal 1/4 binary64) (-.f64 (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b)) (.f64 #s(literal 1/2 binary64) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b))))) (/.f64 (pow.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 3 binary64)) (+.f64 #s(literal 1/4 binary64) (-.f64 (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b)) (.f64 #s(literal 1/2 binary64) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b))))))
(+.f64 (/.f64 (pow.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 3 binary64)) (fma.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (-.f64 #s(literal 1/4 binary64) (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))))) (/.f64 #s(literal 1/8 binary64) (fma.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) (-.f64 #s(literal 1/4 binary64) (.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))))))
(+.f64 (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b))
(/.f64 (+.f64 #s(literal -1/64 binary64) (pow.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 1/16 binary64) (-.f64 (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64))) (.f64 #s(literal -1/4 binary64) (.f64 (.f64 b b) #s(literal 1/48 binary64))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64))) #s(literal 1/16 binary64))) (neg.f64 (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal 1/4 binary64))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64))) #s(literal 1/16 binary64))) (neg.f64 (-.f64 (.f64 (*.f64 b b) #s(literal 1/48 binary64)) #s(literal -1/4 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal 3 binary64)) #s(literal 1/64 binary64))) (neg.f64 (fma.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64)) (+.f64 #s(literal 1/16 binary64) (.f64 (.f64 (*.f64 b b) #s(literal 1/48 binary64)) #s(literal 1/4 binary64))))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (.f64 b b) #s(literal 3 binary64)) #s(literal 1/110592 binary64) #s(literal -1/64 binary64))) (neg.f64 (fma.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64)) (-.f64 #s(literal 1/16 binary64) (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal -1/4 binary64))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64))) #s(literal 1/16 binary64)) (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal 1/4 binary64)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64))) #s(literal 1/16 binary64)) (-.f64 (.f64 (*.f64 b b) #s(literal 1/48 binary64)) #s(literal -1/4 binary64)))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal 3 binary64)) #s(literal 1/64 binary64)) (fma.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64)) (+.f64 #s(literal 1/16 binary64) (.f64 (.f64 (*.f64 b b) #s(literal 1/48 binary64)) #s(literal 1/4 binary64)))))
(/.f64 (fma.f64 (pow.f64 (.f64 b b) #s(literal 3 binary64)) #s(literal 1/110592 binary64) #s(literal -1/64 binary64)) (fma.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64)) (-.f64 #s(literal 1/16 binary64) (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal -1/4 binary64)))))
(neg.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (.f64 b b) #s(literal 1/48 binary64))))
(fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64))
(fma.f64 #s(literal 1/48 binary64) (*.f64 b b) #s(literal -1/4 binary64))
(fma.f64 b (*.f64 b #s(literal 1/48 binary64)) #s(literal -1/4 binary64))
(-.f64 (/.f64 (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64))) (fma.f64 (.f64 b b) #s(literal 1/48 binary64) #s(literal 1/4 binary64))) (/.f64 #s(literal 1/16 binary64) (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal 1/4 binary64))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64))) (-.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal -1/4 binary64))) (/.f64 #s(literal 1/16 binary64) (-.f64 (.f64 (*.f64 b b) #s(literal 1/48 binary64)) #s(literal -1/4 binary64))))
(-.f64 (/.f64 (pow.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64)) (+.f64 #s(literal 1/16 binary64) (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal 1/4 binary64))))) (/.f64 #s(literal 1/64 binary64) (fma.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64)) (+.f64 #s(literal 1/16 binary64) (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal 1/4 binary64))))))
(-.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal 1/4 binary64))
(+.f64 (/.f64 (pow.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64)) (-.f64 #s(literal 1/16 binary64) (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal -1/4 binary64))))) (/.f64 #s(literal -1/64 binary64) (fma.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) (.f64 (.f64 b b) #s(literal 1/48 binary64)) (-.f64 #s(literal 1/16 binary64) (.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal -1/4 binary64))))))
(+.f64 (.f64 (.f64 b b) #s(literal 1/48 binary64)) #s(literal -1/4 binary64))
(+.f64 #s(literal -1/4 binary64) (.f64 (.f64 b b) #s(literal 1/48 binary64)))
(*.f64 (neg.f64 (neg.f64 b)) (neg.f64 (neg.f64 b)))
(*.f64 (neg.f64 (fabs.f64 b)) (neg.f64 (fabs.f64 b)))
(*.f64 (fabs.f64 (fabs.f64 b)) (fabs.f64 (fabs.f64 b)))
(*.f64 (exp.f64 (log.f64 b)) (exp.f64 (log.f64 b)))
(*.f64 (neg.f64 b) (neg.f64 b))
(*.f64 (fabs.f64 b) (fabs.f64 b))
(*.f64 b b)
(pow.f64 (exp.f64 (log.f64 b)) #s(literal 2 binary64))
(pow.f64 (neg.f64 b) #s(literal 2 binary64))
(pow.f64 (fabs.f64 b) #s(literal 2 binary64))
(pow.f64 (*.f64 b b) #s(literal 1 binary64))
(pow.f64 b #s(literal 2 binary64))
(fabs.f64 (*.f64 b b))
(exp.f64 (*.f64 (log.f64 b) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 b) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 b) #s(literal 2 binary64))))
#s(literal 1/48 binary64)
#s(literal -1/4 binary64)
(/.f64 (neg.f64 (neg.f64 (exp.f64 a))) (neg.f64 (neg.f64 #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (exp.f64 a)) (neg.f64 #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64)))))
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))
(+.f64 (/.f64 (cosh.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64)))) (/.f64 (sinh.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64)))))
#s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64)))
#s(approx (- (exp a) -1) #s(literal 2 binary64))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (fma.f64 a (-.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64)) (/.f64 #s(literal 1/2 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (*.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)) #s(literal 3/2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (-.f64 (fma.f64 (-.f64 (fma.f64 #s(literal 3/2 binary64) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64)) (/.f64 #s(literal 1/6 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (+.f64 (/.f64 #s(literal 2/3 binary64) (.f64 (-.f64 #s(literal -1 binary64) (exp.f64 b)) (-.f64 #s(literal -1 binary64) (exp.f64 b)))) (fma.f64 #s(literal 1/2 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -4 binary64))))) a (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64))) (.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)) #s(literal 3/2 binary64)))) a (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (exp a) #s(literal 1 binary64))
#s(approx (exp a) (+.f64 #s(literal 1 binary64) a))
#s(approx (exp a) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 1 binary64)))
#s(approx (exp a) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) a #s(literal 1/2 binary64)) a #s(literal 1 binary64)) a #s(literal 1 binary64)))
#s(approx a a)
#s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 b) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (+.f64 (exp.f64 b) a) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a (exp.f64 b)) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) a #s(literal 1/2 binary64)) a #s(literal 1 binary64)) a (exp.f64 b)) #s(literal 1 binary64)))
#s(approx (- (exp a) -1) #s(literal 2 binary64))
#s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))
#s(approx (- (exp a) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 2 binary64)))
#s(approx (- (exp a) -1) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) a #s(literal 1/2 binary64)) a #s(literal 1 binary64)) a #s(literal 2 binary64)))
#s(approx (+ 2 a) #s(literal 2 binary64))
#s(approx (+ 2 a) (+.f64 #s(literal 2 binary64) a))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a))))
#s(approx (exp a) (exp.f64 a))
#s(approx (+ (exp a) (exp b)) (+.f64 (exp.f64 b) (exp.f64 a)))
#s(approx (- (exp a) -1) (-.f64 (exp.f64 a) #s(literal -1 binary64)))
#s(approx (+ 2 a) a)
#s(approx (+ 2 a) (*.f64 (+.f64 (/.f64 #s(literal 2 binary64) a) #s(literal 1 binary64)) a))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (+.f64 (neg.f64 (.f64 b (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))))) (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (neg.f64 (.f64 (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))))) b)) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64))))) b (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (.f64 (-.f64 (neg.f64 (.f64 (+.f64 (fma.f64 #s(literal -1/2 binary64) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))) (.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/6 binary64))) (neg.f64 (/.f64 (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))))) (-.f64 (exp.f64 a) #s(literal -1 binary64))))) b)) (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64))))))) b) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64))))) b (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (+.f64 b (exp.f64 a)) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b (exp.f64 a)) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) b #s(literal 1/2 binary64)) b #s(literal 1 binary64)) b (exp.f64 a)) #s(literal 1 binary64)))
#s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64)))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (fma.f64 #s(literal -1/480 binary64) (.f64 b b) #s(literal 1/48 binary64)) (.f64 b b) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
#s(approx (- (exp b) -1) #s(literal 2 binary64))
#s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))
#s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))
#s(approx (- (exp b) -1) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) b #s(literal 1/2 binary64)) b #s(literal 1 binary64)) b #s(literal 2 binary64)))
#s(approx (+ 2 b) #s(literal 2 binary64))
#s(approx (+ 2 b) (+.f64 #s(literal 2 binary64) b))
#s(approx b b)
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(literal 1/2 binary64))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64)))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64))
#s(approx (+ (* (* b b) 1/48) -1/4) (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)))
#s(approx (* b b) (*.f64 b b))
#s(approx (/ 1 (- (exp b) -1)) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
#s(approx (- (exp b) -1) (-.f64 (exp.f64 b) #s(literal -1 binary64)))
#s(approx (+ 2 b) b)
#s(approx (+ 2 b) (*.f64 (+.f64 (/.f64 #s(literal 2 binary64) b) #s(literal 1 binary64)) b))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (-.f64 #s(literal 1/48 binary64) (/.f64 #s(literal 1/4 binary64) (.f64 b b))) (.f64 (.f64 b b) b)))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (-.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 b b) b)) #s(literal 1/48 binary64)) (/.f64 #s(literal 1/4 binary64) (.f64 b b))) (.f64 (.f64 b b) b)))
#s(approx (+ (* (* b b) 1/48) -1/4) (.f64 (.f64 b b) #s(literal 1/48 binary64)))
#s(approx (+ (* (* b b) 1/48) -1/4) (.f64 (-.f64 #s(literal 1/48 binary64) (/.f64 #s(literal 1/4 binary64) (.f64 b b))) (*.f64 b b)))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (neg.f64 (.f64 (-.f64 (/.f64 #s(literal 1/4 binary64) (.f64 b b)) #s(literal 1/48 binary64)) (.f64 (.f64 b b) b))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (neg.f64 (.f64 (-.f64 (-.f64 (/.f64 #s(literal 1/4 binary64) (.f64 b b)) #s(literal 1/48 binary64)) (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 b b) b))) (.f64 (.f64 b b) b))))

eval14.0ms (0.5%)

Memory: 20.1MiB live, 20.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 705 to 758 computations (55.5% saved)

prune8.0ms (0.3%)

Memory

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

Pruning

12 alts after pruning (6 fresh and 6 done)

	Pruned	Kept	Total
New	138	5	143
Fresh	2	1	3
Picked	1	4	5
Done	0	2	2
Total	141	12	153

Accuracy

99.5%

Counts

153 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	69.0%	(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
✓	68.5%	(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))
▶	40.3%	(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
▶	40.2%	(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
✓	77.3%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
▶	49.0%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))
✓	38.2%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
▶	3.5%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
✓	37.3%	#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
▶	38.1%	#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
	16.3%	#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))))
✓	39.7%	#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))

Compiler

Compiled 324 to 291 computations (10.2% saved)

series9.0ms (0.3%)

Memory

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

Counts

27 → 74

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64))))
#s(literal 1 binary64)
#s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))
(fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64))
#s(literal 1/2 binary64)
b
#s(literal 2 binary64)
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b)))
#s(approx (- (exp b) -1) #s(approx (+ 2 b) b))
#s(approx (+ 2 b) b)
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
(fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64))
#s(literal -1/4 binary64)
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (exp a) #s(literal 1 binary64))
#s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a)))
#s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))
(+.f64 #s(literal 2 binary64) a)
a
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (exp a) (+.f64 #s(literal 1 binary64) a))
(+.f64 #s(literal 1 binary64) a)

Outputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 3))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (+ (* a (- (+ (* 1/6 (/ 1 (+ 1 (exp b)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 3)))) (+ (* 1/6 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2))) (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 4))))))) (/ 1 (pow (+ 1 (exp b)) 3)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (exp a) #s(hole binary64 1))
#s(approx (exp a) #s(hole binary64 (+ 1 a)))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* 1/2 a))))))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ a (exp b)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* 1/2 a)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* a (+ 1/2 (* 1/6 a)))))))))
#s(approx (- (exp a) -1) #s(hole binary64 2))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 a)))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* 1/2 a))))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx (+ 2 a) #s(hole binary64 2))
#s(approx (+ 2 a) #s(hole binary64 (+ 2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (+ 1 a) #s(hole binary64 1))
#s(approx (+ 1 a) #s(hole binary64 (+ 1 a)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ (exp a) (exp b)))))
#s(approx (exp a) #s(hole binary64 (exp a)))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ (exp a) (exp b))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ 2 a) #s(hole binary64 a))
#s(approx (+ 2 a) #s(hole binary64 (* a (+ 1 (* 2 (/ 1 a))))))
#s(approx (+ 1 a) #s(hole binary64 a))
#s(approx (+ 1 a) #s(hole binary64 (* a (+ 1 (/ 1 a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ 1 (exp a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* -1 (/ (* b (exp a)) (pow (+ 1 (exp a)) 2))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* -1 (* b (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* b (- (* -1 (* b (+ (* -1 (/ (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))) (+ 1 (exp a)))) (+ (* -1/2 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/6 (/ (exp a) (pow (+ 1 (exp a)) 2))))))) (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 1/2))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* -1/4 b))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* 1/48 (pow b 2)) 1/4)))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* (pow b 2) (+ 1/48 (* -1/480 (pow b 2)))) 1/4)))))
#s(approx (- (exp b) -1) #s(hole binary64 2))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 b)))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* 1/2 b))))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* b (+ 1/2 (* 1/6 b))))))))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 2))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 (+ 2 b)))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 (+ 2 (* b (+ 1 (* 1/2 b))))))
#s(approx (+ (* 1/2 b) 1) #s(hole binary64 1))
#s(approx (+ (* 1/2 b) 1) #s(hole binary64 (+ 1 (* 1/2 b))))
#s(approx b #s(hole binary64 b))
#s(approx (+ 2 b) #s(hole binary64 2))
#s(approx (+ 2 b) #s(hole binary64 (+ 2 b)))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 1/2))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (+ 1/2 (* -1/4 b))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (+ 1/2 (* b (- (* 1/48 (pow b 2)) 1/4)))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 -1/4))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (- (* 1/48 (pow b 2)) 1/4)))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ b (exp a)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* 1/2 b)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* b (+ 1/2 (* 1/6 b)))))))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 (* 1/2 (pow b 2))))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 (* (pow b 2) (+ 1/2 (/ 1 b)))))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 (* (pow b 2) (+ 1/2 (+ (/ 1 b) (/ 2 (pow b 2)))))))
#s(approx (+ (* 1/2 b) 1) #s(hole binary64 (* 1/2 b)))
#s(approx (+ (* 1/2 b) 1) #s(hole binary64 (* b (+ 1/2 (/ 1 b)))))
#s(approx (+ 2 b) #s(hole binary64 b))
#s(approx (+ 2 b) #s(hole binary64 (* b (+ 1 (* 2 (/ 1 b))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* 1/48 (pow b 3))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* (pow b 3) (- 1/48 (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* (pow b 3) (- (+ 1/48 (/ 1/2 (pow b 3))) (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (* 1/48 (pow b 2))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (* (pow b 2) (- 1/48 (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* -1 (* (pow b 3) (- (* 1/4 (/ 1 (pow b 2))) 1/48)))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* -1 (* (pow b 3) (- (* 1/4 (/ 1 (pow b 2))) (+ 1/48 (/ 1/2 (pow b 3))))))))

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	b	@	-inf	((/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (+ (* (+ (* 1/2 b) 1) b) 2) (+ (* 1/2 b) 1) 1/2 b 2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (- (exp b) -1) (+ 2 b) (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (+ (* (* b b) 1/48) -1/4) -1/4 (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ (exp a) (exp b)) (- (exp a) -1) (+ 2 a) a (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ 1 a))
2.0ms	b	@	inf	((/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (+ (* (+ (* 1/2 b) 1) b) 2) (+ (* 1/2 b) 1) 1/2 b 2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (- (exp b) -1) (+ 2 b) (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (+ (* (* b b) 1/48) -1/4) -1/4 (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ (exp a) (exp b)) (- (exp a) -1) (+ 2 a) a (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ 1 a))
1.0ms	b	@	0	((/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (+ (* (+ (* 1/2 b) 1) b) 2) (+ (* 1/2 b) 1) 1/2 b 2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (- (exp b) -1) (+ 2 b) (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (+ (* (* b b) 1/48) -1/4) -1/4 (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ (exp a) (exp b)) (- (exp a) -1) (+ 2 a) a (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ 1 a))
1.0ms	a	@	-inf	((/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (+ (* (+ (* 1/2 b) 1) b) 2) (+ (* 1/2 b) 1) 1/2 b 2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (- (exp b) -1) (+ 2 b) (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (+ (* (* b b) 1/48) -1/4) -1/4 (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ (exp a) (exp b)) (- (exp a) -1) (+ 2 a) a (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ 1 a))
1.0ms	a	@	inf	((/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) 1 (- (exp b) -1) (+ (* (+ (* 1/2 b) 1) b) 2) (+ (* 1/2 b) 1) 1/2 b 2 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (- (exp b) -1) (+ 2 b) (/ (exp a) (+ (exp a) (exp b))) (/ 1 (- (exp b) -1)) (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (+ (* (* b b) 1/48) -1/4) -1/4 (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ (exp a) (exp b)) (- (exp a) -1) (+ 2 a) a (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ 1 a))

rewrite560.0ms (18.9%)

Memory

-67.6MiB live, 266.8MiB allocated; 684ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	278	1571
0	286	1509
1	1682	1498
0	9490	1414

Stop Event

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

Counts

101 → 181

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64))))
#s(literal 1 binary64)
#s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))
(fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64))
#s(literal 1/2 binary64)
b
#s(literal 2 binary64)
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b)))
#s(approx (- (exp b) -1) #s(approx (+ 2 b) b))
#s(approx (+ 2 b) b)
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
(fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64))
#s(literal -1/4 binary64)
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (exp a) #s(literal 1 binary64))
#s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a)))
#s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))
(+.f64 #s(literal 2 binary64) a)
a
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (exp a) (+.f64 #s(literal 1 binary64) a))
(+.f64 #s(literal 1 binary64) a)
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 3))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* a (- (+ (* a (- (+ (* 1/2 (/ 1 (+ 1 (exp b)))) (+ (* a (- (+ (* 1/6 (/ 1 (+ 1 (exp b)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 3)))) (+ (* 1/6 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ 1 (pow (+ 1 (exp b)) 2))) (+ (* 1/2 (/ (- (/ 1 (+ 1 (exp b))) (/ 1 (pow (+ 1 (exp b)) 2))) (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 4))))))) (/ 1 (pow (+ 1 (exp b)) 3)))) (* 3/2 (/ 1 (pow (+ 1 (exp b)) 2))))) (/ 1 (+ 1 (exp b)))) (/ 1 (pow (+ 1 (exp b)) 2)))) (/ 1 (+ 1 (exp b))))))
#s(approx (exp a) #s(hole binary64 1))
#s(approx (exp a) #s(hole binary64 (+ 1 a)))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* 1/2 a))))))
#s(approx (exp a) #s(hole binary64 (+ 1 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ a (exp b)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* 1/2 a)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp b) (* a (+ 1 (* a (+ 1/2 (* 1/6 a)))))))))
#s(approx (- (exp a) -1) #s(hole binary64 2))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 a)))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* 1/2 a))))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 2 (* a (+ 1 (* a (+ 1/2 (* 1/6 a))))))))
#s(approx (+ 2 a) #s(hole binary64 2))
#s(approx (+ 2 a) #s(hole binary64 (+ 2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (+ 1 a) #s(hole binary64 1))
#s(approx (+ 1 a) #s(hole binary64 (+ 1 a)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ (exp a) (exp b)))))
#s(approx (exp a) #s(hole binary64 (exp a)))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ (exp a) (exp b))))
#s(approx (- (exp a) -1) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ 2 a) #s(hole binary64 a))
#s(approx (+ 2 a) #s(hole binary64 (* a (+ 1 (* 2 (/ 1 a))))))
#s(approx (+ 1 a) #s(hole binary64 a))
#s(approx (+ 1 a) #s(hole binary64 (* a (+ 1 (/ 1 a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (/ (exp a) (+ 1 (exp a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* -1 (/ (* b (exp a)) (pow (+ 1 (exp a)) 2))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* -1 (* b (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(hole binary64 (+ (* b (- (* b (- (* -1 (* b (+ (* -1 (/ (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))) (+ 1 (exp a)))) (+ (* -1/2 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/6 (/ (exp a) (pow (+ 1 (exp a)) 2))))))) (+ (* -1 (/ (exp a) (pow (+ 1 (exp a)) 3))) (* 1/2 (/ (exp a) (pow (+ 1 (exp a)) 2)))))) (/ (exp a) (pow (+ 1 (exp a)) 2)))) (/ (exp a) (+ 1 (exp a))))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 1/2))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* -1/4 b))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* 1/48 (pow b 2)) 1/4)))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (+ 1/2 (* b (- (* (pow b 2) (+ 1/48 (* -1/480 (pow b 2)))) 1/4)))))
#s(approx (- (exp b) -1) #s(hole binary64 2))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 b)))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* 1/2 b))))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 2 (* b (+ 1 (* b (+ 1/2 (* 1/6 b))))))))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 2))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 (+ 2 b)))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 (+ 2 (* b (+ 1 (* 1/2 b))))))
#s(approx (+ (* 1/2 b) 1) #s(hole binary64 1))
#s(approx (+ (* 1/2 b) 1) #s(hole binary64 (+ 1 (* 1/2 b))))
#s(approx b #s(hole binary64 b))
#s(approx (+ 2 b) #s(hole binary64 2))
#s(approx (+ 2 b) #s(hole binary64 (+ 2 b)))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 1/2))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (+ 1/2 (* -1/4 b))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (+ 1/2 (* b (- (* 1/48 (pow b 2)) 1/4)))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 -1/4))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (- (* 1/48 (pow b 2)) 1/4)))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (exp a))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ b (exp a)))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* 1/2 b)))))))
#s(approx (+ (exp a) (exp b)) #s(hole binary64 (+ 1 (+ (exp a) (* b (+ 1 (* b (+ 1/2 (* 1/6 b)))))))))
#s(approx (/ 1 (- (exp b) -1)) #s(hole binary64 (/ 1 (+ 1 (exp b)))))
#s(approx (- (exp b) -1) #s(hole binary64 (+ 1 (exp b))))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 (* 1/2 (pow b 2))))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 (* (pow b 2) (+ 1/2 (/ 1 b)))))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(hole binary64 (* (pow b 2) (+ 1/2 (+ (/ 1 b) (/ 2 (pow b 2)))))))
#s(approx (+ (* 1/2 b) 1) #s(hole binary64 (* 1/2 b)))
#s(approx (+ (* 1/2 b) 1) #s(hole binary64 (* b (+ 1/2 (/ 1 b)))))
#s(approx (+ 2 b) #s(hole binary64 b))
#s(approx (+ 2 b) #s(hole binary64 (* b (+ 1 (* 2 (/ 1 b))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* 1/48 (pow b 3))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* (pow b 3) (- 1/48 (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* (pow b 3) (- (+ 1/48 (/ 1/2 (pow b 3))) (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (* 1/48 (pow b 2))))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(hole binary64 (* (pow b 2) (- 1/48 (* 1/4 (/ 1 (pow b 2)))))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* -1 (* (pow b 3) (- (* 1/4 (/ 1 (pow b 2))) 1/48)))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(hole binary64 (* -1 (* (pow b 3) (- (* 1/4 (/ 1 (pow b 2))) (+ 1/48 (/ 1/2 (pow b 3))))))))

Outputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))
(pow.f64 #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64))) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64))))))
(/.f64 #s(literal 1 binary64) (pow.f64 #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))) #s(literal -1 binary64)))
#s(literal 1 binary64)
#s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 (neg.f64 b) (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64))) #s(literal 3 binary64))) (+.f64 #s(literal 4 binary64) (fma.f64 (.f64 (neg.f64 b) (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64))) (.f64 (neg.f64 b) (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64))) (.f64 #s(literal 2 binary64) (*.f64 (neg.f64 b) (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)))))))
(/.f64 (neg.f64 (-.f64 #s(literal 4 binary64) (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b)))) (neg.f64 (-.f64 #s(literal 2 binary64) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b)) #s(literal 4 binary64))) (neg.f64 (-.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 2 binary64))))
(/.f64 (neg.f64 (+.f64 #s(literal 8 binary64) (pow.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 3 binary64)))) (neg.f64 (+.f64 #s(literal 4 binary64) (-.f64 (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b)) (.f64 #s(literal 2 binary64) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 3 binary64)) #s(literal 8 binary64))) (neg.f64 (fma.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (-.f64 #s(literal 4 binary64) (.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 2 binary64))))))
(/.f64 (-.f64 #s(literal 4 binary64) (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b))) (-.f64 #s(literal 2 binary64) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b)))
(/.f64 (-.f64 (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b)) #s(literal 4 binary64)) (-.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 2 binary64)))
(/.f64 (+.f64 #s(literal 8 binary64) (pow.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 3 binary64))) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b)) (.f64 #s(literal 2 binary64) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b)))))
(/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 3 binary64)) #s(literal 8 binary64)) (fma.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (-.f64 #s(literal 4 binary64) (.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 2 binary64)))))
(fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64))
(fma.f64 b (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) #s(literal 2 binary64))
(-.f64 (/.f64 #s(literal 4 binary64) (-.f64 #s(literal 2 binary64) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b))) (/.f64 (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b)) (-.f64 #s(literal 2 binary64) (*.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b))))
(-.f64 (/.f64 (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b)) (-.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 2 binary64))) (/.f64 #s(literal 4 binary64) (-.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 2 binary64))))
(-.f64 #s(literal 2 binary64) (*.f64 (neg.f64 b) (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64))))
(+.f64 (/.f64 #s(literal 8 binary64) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b)) (.f64 #s(literal 2 binary64) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b))))) (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 3 binary64)) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b)) (.f64 #s(literal 2 binary64) (*.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b))))))
(+.f64 (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 3 binary64)) (fma.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (-.f64 #s(literal 4 binary64) (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 2 binary64))))) (/.f64 #s(literal 8 binary64) (fma.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) (-.f64 #s(literal 4 binary64) (.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 2 binary64))))))
(+.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b) #s(literal 2 binary64))
(+.f64 #s(literal 2 binary64) (*.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b))
(*.f64 (+.f64 (/.f64 #s(literal 1 binary64) b) #s(literal 1/2 binary64)) b)
(*.f64 b (+.f64 (/.f64 #s(literal 1 binary64) b) #s(literal 1/2 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal -1/2 binary64) b) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal -1/2 binary64) b) (.f64 #s(literal -1/2 binary64) b) (.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) b)))))
(/.f64 (fma.f64 #s(literal 1/8 binary64) (.f64 (.f64 b b) b) (pow.f64 (.f64 b (/.f64 #s(literal 1 binary64) b)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b) (-.f64 (.f64 (.f64 b (/.f64 #s(literal 1 binary64) b)) (.f64 b (/.f64 #s(literal 1 binary64) b))) (.f64 (.f64 #s(literal 1/2 binary64) b) (*.f64 b (/.f64 #s(literal 1 binary64) b))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b)) #s(literal 1 binary64))) (neg.f64 (-.f64 (.f64 #s(literal 1/2 binary64) b) #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b)))) (neg.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) b))))
(/.f64 (neg.f64 (fma.f64 #s(literal 1/8 binary64) (.f64 (.f64 b b) b) #s(literal 1 binary64))) (neg.f64 (fma.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b) (-.f64 #s(literal 1 binary64) (.f64 (.f64 #s(literal 1/2 binary64) b) #s(literal 1 binary64))))))
(/.f64 (neg.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 b b) b)))) (neg.f64 (+.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b)) (.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) b))))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b)) #s(literal 1 binary64)) (-.f64 (.f64 #s(literal 1/2 binary64) b) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) b)))
(/.f64 (fma.f64 #s(literal 1/8 binary64) (.f64 (.f64 b b) b) #s(literal 1 binary64)) (fma.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b) (-.f64 #s(literal 1 binary64) (.f64 (.f64 #s(literal 1/2 binary64) b) #s(literal 1 binary64)))))
(/.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 b b) b))) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b)) (.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) b)))))
(fma.f64 #s(literal 1/2 binary64) b (*.f64 b (/.f64 #s(literal 1 binary64) b)))
(fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64))
(fma.f64 b #s(literal 1/2 binary64) (*.f64 b (/.f64 #s(literal 1 binary64) b)))
(fma.f64 b #s(literal 1/2 binary64) #s(literal 1 binary64))
(-.f64 (/.f64 (.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b)) (-.f64 (.f64 #s(literal 1/2 binary64) b) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 #s(literal 1/2 binary64) b) #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) b))) (/.f64 (.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b)) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) b))))
(-.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) b))
(+.f64 (/.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 b b) b)) (fma.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b) (-.f64 #s(literal 1 binary64) (.f64 (.f64 #s(literal 1/2 binary64) b) #s(literal 1 binary64))))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b) (-.f64 #s(literal 1 binary64) (.f64 (*.f64 #s(literal 1/2 binary64) b) #s(literal 1 binary64))))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b)) (.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) b))))) (/.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 b b) b)) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 #s(literal 1/2 binary64) b)) (.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) b))))))
(+.f64 (.f64 #s(literal 1/2 binary64) b) (.f64 b (/.f64 #s(literal 1 binary64) b)))
(+.f64 (*.f64 #s(literal 1/2 binary64) b) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) b))
#s(literal 1/2 binary64)
b
#s(literal 2 binary64)
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(pow.f64 #s(approx (- (exp b) -1) #s(approx (+ 2 b) b)) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 #s(approx (- (exp b) -1) #s(approx (+ 2 b) b)))))
(/.f64 #s(literal 1 binary64) (pow.f64 #s(approx (- (exp b) -1) #s(approx (+ 2 b) b)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b)))
(exp.f64 (*.f64 (log.f64 #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))) #s(literal -1 binary64)))
#s(approx (- (exp b) -1) #s(approx (+ 2 b) b))
#s(approx (+ 2 b) b)
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
(/.f64 (+.f64 #s(literal 1/8 binary64) (.f64 (.f64 (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b)) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b))) (+.f64 #s(literal 1/4 binary64) (-.f64 (.f64 (.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b)) (.f64 #s(literal 1/2 binary64) (.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b)))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b)) #s(literal 1/4 binary64))) (neg.f64 (-.f64 (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b)) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) #s(literal 1/8 binary64))) (neg.f64 (fma.f64 (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (-.f64 #s(literal 1/4 binary64) (.f64 (.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))))))
(/.f64 (-.f64 (.f64 (.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b)) #s(literal 1/4 binary64)) (-.f64 (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64)))
(/.f64 (fma.f64 (.f64 (.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b)) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) #s(literal 1/8 binary64)) (fma.f64 (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (-.f64 #s(literal 1/4 binary64) (.f64 (.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64)))))
(fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))
(fma.f64 b #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) #s(literal 1/2 binary64))
(-.f64 (/.f64 (.f64 (.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b)) (-.f64 (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))) (/.f64 #s(literal 1/4 binary64) (-.f64 (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b)) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b)) (fma.f64 (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (-.f64 #s(literal 1/4 binary64) (.f64 (.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))))) (/.f64 #s(literal 1/8 binary64) (fma.f64 (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) (-.f64 #s(literal 1/4 binary64) (.f64 (.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))))))
(+.f64 (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (.f64 #s(approx (+ ( (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64))
#s(literal -1/4 binary64)
(/.f64 (neg.f64 (neg.f64 #s(approx (exp a) #s(literal 1 binary64)))) (neg.f64 (neg.f64 #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))))
(/.f64 (neg.f64 #s(approx (exp a) #s(literal 1 binary64))) (neg.f64 #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a)))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (exp a) #s(literal 1 binary64))
#s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a)))
#s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))
(/.f64 (fma.f64 (.f64 a a) a #s(literal 8 binary64)) (fma.f64 a a (-.f64 #s(literal 4 binary64) (.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 4 binary64) (*.f64 a a))) (neg.f64 (-.f64 #s(literal 2 binary64) a)))
(/.f64 (neg.f64 (+.f64 #s(literal 8 binary64) (.f64 (.f64 a a) a))) (neg.f64 (+.f64 #s(literal 4 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 2 binary64) a)))))
(/.f64 (-.f64 #s(literal 4 binary64) (*.f64 a a)) (-.f64 #s(literal 2 binary64) a))
(/.f64 (+.f64 #s(literal 8 binary64) (.f64 (.f64 a a) a)) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 2 binary64) a))))
(-.f64 (/.f64 #s(literal 4 binary64) (-.f64 #s(literal 2 binary64) a)) (/.f64 (*.f64 a a) (-.f64 #s(literal 2 binary64) a)))
(+.f64 (/.f64 #s(literal 8 binary64) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 2 binary64) a)))) (/.f64 (.f64 (.f64 a a) a) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 2 binary64) a)))))
(+.f64 #s(literal 2 binary64) a)
(+.f64 a #s(literal 2 binary64))
a
(/.f64 (neg.f64 (neg.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)))) (neg.f64 (neg.f64 #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))))
(/.f64 (neg.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a))) (neg.f64 #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a)))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (exp a) (+.f64 #s(literal 1 binary64) a))
(/.f64 (fma.f64 (.f64 a a) a #s(literal 1 binary64)) (fma.f64 a a (-.f64 #s(literal 1 binary64) (.f64 a #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 a a))) (neg.f64 (-.f64 #s(literal 1 binary64) a)))
(/.f64 (neg.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 a a) a))) (neg.f64 (+.f64 #s(literal 1 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 1 binary64) a)))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 a a)) (-.f64 #s(literal 1 binary64) a))
(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 a a) a)) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 1 binary64) a))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) a)) (/.f64 (*.f64 a a) (-.f64 #s(literal 1 binary64) a)))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 1 binary64) a)))) (/.f64 (.f64 (.f64 a a) a) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 a a) (.f64 #s(literal 1 binary64) a)))))
(+.f64 #s(literal 1 binary64) a)
(+.f64 a #s(literal 1 binary64))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (fma.f64 a (-.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64)) (/.f64 #s(literal 1/2 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (*.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)) #s(literal 3/2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (-.f64 (fma.f64 (-.f64 (fma.f64 #s(literal 3/2 binary64) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64)) (/.f64 #s(literal 1/6 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))) (+.f64 (/.f64 #s(literal 2/3 binary64) (.f64 (-.f64 #s(literal -1 binary64) (exp.f64 b)) (-.f64 #s(literal -1 binary64) (exp.f64 b)))) (fma.f64 #s(literal 1/2 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64))) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -4 binary64))))) a (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -3 binary64))) (.f64 (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)) #s(literal 3/2 binary64)))) a (-.f64 (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))) (pow.f64 (-.f64 (exp.f64 b) #s(literal -1 binary64)) #s(literal -2 binary64)))) a (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64)))))
#s(approx (exp a) #s(literal 1 binary64))
#s(approx (exp a) (+.f64 #s(literal 1 binary64) a))
#s(approx (exp a) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 1 binary64)))
#s(approx (exp a) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) a #s(literal 1/2 binary64)) a #s(literal 1 binary64)) a #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 b) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (+.f64 (exp.f64 b) a) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a (exp.f64 b)) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) a #s(literal 1/2 binary64)) a #s(literal 1 binary64)) a (exp.f64 b)) #s(literal 1 binary64)))
#s(approx (- (exp a) -1) #s(literal 2 binary64))
#s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))
#s(approx (- (exp a) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 2 binary64)))
#s(approx (- (exp a) -1) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) a #s(literal 1/2 binary64)) a #s(literal 1 binary64)) a #s(literal 2 binary64)))
#s(approx (+ 2 a) #s(literal 2 binary64))
#s(approx (+ 2 a) (+.f64 #s(literal 2 binary64) a))
#s(approx a a)
#s(approx (+ 1 a) #s(literal 1 binary64))
#s(approx (+ 1 a) (+.f64 #s(literal 1 binary64) a))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a))))
#s(approx (exp a) (exp.f64 a))
#s(approx (+ (exp a) (exp b)) (+.f64 (exp.f64 b) (exp.f64 a)))
#s(approx (- (exp a) -1) (-.f64 (exp.f64 a) #s(literal -1 binary64)))
#s(approx (+ 2 a) a)
#s(approx (+ 2 a) (*.f64 (+.f64 (/.f64 #s(literal 2 binary64) a) #s(literal 1 binary64)) a))
#s(approx (+ 1 a) a)
#s(approx (+ 1 a) (fma.f64 #s(literal 1 binary64) a #s(literal 1 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (+.f64 (neg.f64 (.f64 b (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))))) (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (neg.f64 (.f64 (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))))) b)) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64))))) b (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (fma.f64 (-.f64 (.f64 (-.f64 (neg.f64 (.f64 (+.f64 (fma.f64 #s(literal -1/2 binary64) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))) (.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/6 binary64))) (neg.f64 (/.f64 (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64)))))) (-.f64 (exp.f64 a) #s(literal -1 binary64))))) b)) (fma.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64) (neg.f64 (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 3 binary64))))))) b) (exp.f64 (-.f64 a (.f64 (log.f64 (-.f64 (exp.f64 a) #s(literal -1 binary64))) #s(literal 2 binary64))))) b (/.f64 (exp.f64 a) (-.f64 (exp.f64 a) #s(literal -1 binary64)))))
#s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64)))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
#s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (fma.f64 #s(literal -1/480 binary64) (.f64 b b) #s(literal 1/48 binary64)) (.f64 b b) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
#s(approx (- (exp b) -1) #s(literal 2 binary64))
#s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))
#s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))
#s(approx (- (exp b) -1) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) b #s(literal 1/2 binary64)) b #s(literal 1 binary64)) b #s(literal 2 binary64)))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) #s(literal 2 binary64))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (+.f64 #s(literal 2 binary64) b))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))
#s(approx (+ (* 1/2 b) 1) #s(literal 1 binary64))
#s(approx (+ (* 1/2 b) 1) (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)))
#s(approx b b)
#s(approx (+ 2 b) #s(literal 2 binary64))
#s(approx (+ 2 b) (+.f64 #s(literal 2 binary64) b))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) #s(literal 1/2 binary64))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64)))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64)))
#s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64))
#s(approx (+ (* (* b b) 1/48) -1/4) (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)))
#s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (+.f64 b (exp.f64 a)) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b (exp.f64 a)) #s(literal 1 binary64)))
#s(approx (+ (exp a) (exp b)) (+.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) b #s(literal 1/2 binary64)) b #s(literal 1 binary64)) b (exp.f64 a)) #s(literal 1 binary64)))
#s(approx (/ 1 (- (exp b) -1)) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
#s(approx (- (exp b) -1) (-.f64 (exp.f64 b) #s(literal -1 binary64)))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (.f64 (.f64 b b) #s(literal 1/2 binary64)))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (.f64 (+.f64 (/.f64 #s(literal 1 binary64) b) #s(literal 1/2 binary64)) (.f64 b b)))
#s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) b) #s(literal 1/2 binary64)) (/.f64 #s(literal 2 binary64) (.f64 b b))) (*.f64 b b)))
#s(approx (+ (* 1/2 b) 1) (*.f64 #s(literal 1/2 binary64) b))
#s(approx (+ (* 1/2 b) 1) (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)))
#s(approx (+ 2 b) b)
#s(approx (+ 2 b) (*.f64 (+.f64 (/.f64 #s(literal 2 binary64) b) #s(literal 1 binary64)) b))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (-.f64 #s(literal 1/48 binary64) (/.f64 #s(literal 1/4 binary64) (.f64 b b))) (.f64 (.f64 b b) b)))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (-.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 b b) b)) #s(literal 1/48 binary64)) (/.f64 #s(literal 1/4 binary64) (.f64 b b))) (.f64 (.f64 b b) b)))
#s(approx (+ (* (* b b) 1/48) -1/4) (.f64 (.f64 b b) #s(literal 1/48 binary64)))
#s(approx (+ (* (* b b) 1/48) -1/4) (.f64 (-.f64 #s(literal 1/48 binary64) (/.f64 #s(literal 1/4 binary64) (.f64 b b))) (*.f64 b b)))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (neg.f64 (.f64 (-.f64 (/.f64 #s(literal 1/4 binary64) (.f64 b b)) #s(literal 1/48 binary64)) (.f64 (.f64 b b) b))))
#s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (neg.f64 (.f64 (-.f64 (-.f64 (/.f64 #s(literal 1/4 binary64) (.f64 b b)) #s(literal 1/48 binary64)) (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 b b) b))) (.f64 (.f64 b b) b))))

eval20.0ms (0.7%)

Memory: -12.5MiB live, 35.9MiB allocated; 5ms collecting garbage
Compiler: Compiled 2 088 to 851 computations (59.2% saved)

prune11.0ms (0.4%)

Memory

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

Pruning

15 alts after pruning (7 fresh and 8 done)

	Pruned	Kept	Total
New	166	6	172
Fresh	0	1	1
Picked	2	3	5
Done	1	5	6
Total	169	15	184

Accuracy

99.5%

Counts

184 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	69.0%	(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
✓	68.5%	(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))
✓	40.3%	(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
	3.9%	(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
	4.6%	(/.f64 #s(approx (exp a) #s(approx (+ 1 a) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
	56.1%	(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 2 binary64)))))
	40.2%	(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) (*.f64 (+.f64 (/.f64 #s(literal 2 binary64) a) #s(literal 1 binary64)) a)))))
	4.0%	(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
✓	77.3%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
	14.4%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (.f64 (.f64 b b) #s(literal 1/2 binary64))))))
✓	3.5%	#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
✓	37.3%	#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
✓	38.1%	#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
	16.3%	#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))))
✓	39.7%	#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))

Compiler

Compiled 426 to 363 computations (14.8% saved)

regimes29.0ms (1%)

Memory

-7.0MiB live, 39.6MiB allocated; 2ms collecting garbage

Counts

22 → 2

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) #s(approx (+ 1 a) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 #s(approx (exp b) (+.f64 #s(literal 1 binary64) b)) #s(literal -1 binary64))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (.f64 (.f64 b b) #s(literal 1/2 binary64))))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) (*.f64 (+.f64 (/.f64 #s(literal 2 binary64) a) #s(literal 1 binary64)) a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 2 binary64)))))
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64))))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Outputs
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))

Calls

5 calls:

8.0ms	b
6.0ms	a
4.0ms	(exp.f64 b)
4.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
4.0ms	(exp.f64 a)

Results

Accuracy	Segments	Branch
97.7%	1	`(exp.f64 b)`
97.7%	1	`(exp.f64 a)`
99.4%	2	`(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))`
97.7%	1	`a`
97.7%	1	`b`

Compiler

Compiled 13 to 16 computations (-23.1% saved)

regimes30.0ms (1%)

Memory

-16.6MiB live, 29.6MiB allocated; 2ms collecting garbage

Counts

21 → 2

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) #s(approx (+ 1 a) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 #s(approx (exp b) (+.f64 #s(literal 1 binary64) b)) #s(literal -1 binary64))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (.f64 (.f64 b b) #s(literal 1/2 binary64))))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) (*.f64 (+.f64 (/.f64 #s(literal 2 binary64) a) #s(literal 1 binary64)) a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 2 binary64)))))
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) (-.f64 (exp.f64 a) #s(literal -1 binary64))))

Outputs
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))

Outputs

(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))

#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 (exp.f64 b) #s(literal -1 binary64))))

Calls

5 calls:

8.0ms	(exp.f64 a)
6.0ms	b
6.0ms	a
4.0ms	(exp.f64 b)
4.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Results

Accuracy	Segments	Branch
98.3%	3	`(exp.f64 b)`
98.1%	2	`(exp.f64 a)`
98.5%	2	`a`
98.3%	3	`b`
84.1%	2	`(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))`

Compiler

Compiled 13 to 16 computations (-23.1% saved)

regimes23.0ms (0.8%)

Memory

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

Counts

18 → 2

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) #s(approx (+ 1 a) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 #s(approx (exp b) (+.f64 #s(literal 1 binary64) b)) #s(literal -1 binary64))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (.f64 (.f64 b b) #s(literal 1/2 binary64))))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) (*.f64 (+.f64 (/.f64 #s(literal 2 binary64) a) #s(literal 1 binary64)) a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 2 binary64)))))
(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))

Outputs

(/.f64 (exp.f64 a) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(literal 2 binary64))))

#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (*.f64 (*.f64 b b) #s(literal 1/2 binary64))))))

Calls

5 calls:

5.0ms	b
5.0ms	a
4.0ms	(exp.f64 b)
4.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
4.0ms	(exp.f64 a)

Results

Accuracy	Segments	Branch
68.5%	1	`(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))`
71.8%	2	`(exp.f64 b)`
74.9%	2	`b`
73.9%	2	`(exp.f64 a)`
73.9%	2	`a`

Compiler

Compiled 13 to 16 computations (-23.1% saved)

regimes23.0ms (0.8%)

Memory

-11.8MiB live, 33.9MiB allocated; 2ms collecting garbage

Counts

17 → 3

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) #s(approx (+ 1 a) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 #s(approx (exp b) (+.f64 #s(literal 1 binary64) b)) #s(literal -1 binary64))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (.f64 (.f64 b b) #s(literal 1/2 binary64))))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) (*.f64 (+.f64 (/.f64 #s(literal 2 binary64) a) #s(literal 1 binary64)) a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 2 binary64)))))

Outputs

(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) a #s(literal 1 binary64)) a #s(literal 2 binary64)))))

#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (*.f64 (*.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))))

#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))

Calls

5 calls:

6.0ms	a
5.0ms	b
4.0ms	(exp.f64 b)
4.0ms	(exp.f64 a)
3.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Results

Accuracy	Segments	Branch
56.1%	1	`(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))`
62.3%	2	`(exp.f64 b)`
68.5%	3	`a`
61.3%	2	`(exp.f64 a)`
64.7%	2	`b`

Compiler

Compiled 13 to 16 computations (-23.1% saved)

regimes23.0ms (0.8%)

Memory

-20.6MiB live, 28.6MiB allocated; 12ms collecting garbage

Counts

16 → 2

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) #s(approx (+ 1 a) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 #s(approx (exp b) (+.f64 #s(literal 1 binary64) b)) #s(literal -1 binary64))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (.f64 (.f64 b b) #s(literal 1/2 binary64))))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) (*.f64 (+.f64 (/.f64 #s(literal 2 binary64) a) #s(literal 1 binary64)) a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))

Outputs

#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (*.f64 (*.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))))

#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (fma.f64 (fma.f64 #s(literal 1/2 binary64) b #s(literal 1 binary64)) b #s(literal 2 binary64)))))

Calls

4 calls:

10.0ms	(exp.f64 a)
5.0ms	a
5.0ms	b
3.0ms	(exp.f64 b)

Results

Accuracy	Segments	Branch
58.4%	2	`(exp.f64 a)`
51.8%	2	`(exp.f64 b)`
54.7%	3	`b`
58.4%	2	`a`

Compiler

Compiled 6 to 10 computations (-66.7% saved)

regimes12.0ms (0.4%)

Memory

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

Counts

15 → 2

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) #s(approx (+ 1 a) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 #s(approx (exp b) (+.f64 #s(literal 1 binary64) b)) #s(literal -1 binary64))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (.f64 (.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ (* (+ (* 1/2 b) 1) b) 2) (.f64 (.f64 b b) #s(literal 1/2 binary64))))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) (*.f64 (+.f64 (/.f64 #s(literal 2 binary64) a) #s(literal 1 binary64)) a)))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 (fma.f64 (*.f64 b b) #s(literal 1/48 binary64) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))

Outputs

#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(approx (+ (* (+ (* (* b b) 1/48) -1/4) b) 1/2) (*.f64 (*.f64 (*.f64 b b) b) #s(literal 1/48 binary64)))))

(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))

Calls

3 calls:

4.0ms	a
3.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
3.0ms	(exp.f64 a)

Results

Accuracy	Segments	Branch
53.8%	2	`(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))`
53.6%	2	`(exp.f64 a)`
54.0%	2	`a`

Compiler

Compiled 10 to 11 computations (-10% saved)

regimes18.0ms (0.6%)

Memory

-11.1MiB live, 32.7MiB allocated; 3ms collecting garbage

Counts

11 → 1

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) #s(approx (+ 1 a) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 #s(approx (exp b) (+.f64 #s(literal 1 binary64) b)) #s(literal -1 binary64))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))

Outputs
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))

Calls

5 calls:

3.0ms	b
3.0ms	a
3.0ms	(exp.f64 b)
3.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
2.0ms	(exp.f64 a)

Results

Accuracy	Segments	Branch
40.3%	1	`(exp.f64 b)`
40.3%	1	`b`
40.3%	1	`(exp.f64 a)`
40.3%	1	`(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))`
40.3%	1	`a`

Compiler

Compiled 13 to 16 computations (-23.1% saved)

regimes14.0ms (0.5%)

Memory

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

Counts

10 → 1

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) #s(approx (+ 1 a) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))
(/.f64 #s(approx (exp a) (+.f64 #s(literal 1 binary64) a)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) (-.f64 #s(approx (exp b) (+.f64 #s(literal 1 binary64) b)) #s(literal -1 binary64))))

Outputs
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) (+.f64 #s(literal 2 binary64) a))))

Calls

5 calls:

3.0ms	b
3.0ms	a
2.0ms	(exp.f64 b)
2.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
2.0ms	(exp.f64 a)

Results

Accuracy	Segments	Branch
40.2%	1	`(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))`
40.2%	1	`a`
40.2%	1	`(exp.f64 a)`
40.2%	1	`(exp.f64 b)`
40.2%	1	`b`

Compiler

Compiled 13 to 16 computations (-23.1% saved)

regimes12.0ms (0.4%)

Memory

-23.7MiB live, 22.0MiB allocated; 3ms collecting garbage

Accuracy

Total -24.1b remaining (-62.4%)

Threshold costs -24.1b (-62.4%)

Counts

6 → 1

Calls

Call 1

Inputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) #s(approx (+ 2 b) b))))
(/.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (+ (exp a) (exp b)) #s(approx (- (exp a) -1) #s(approx (+ 2 a) a))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(literal -1/4 binary64) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) (fma.f64 #s(approx (+ (* (* b b) 1/48) -1/4) #s(literal -1/4 binary64)) b #s(literal 1/2 binary64))))
#s(approx (/ (exp a) (+ (exp a) (exp b))) (/.f64 #s(literal 1 binary64) #s(approx (- (exp b) -1) (+.f64 #s(literal 2 binary64) b))))

Outputs
#s(approx (/ (exp a) (+ (exp a) (exp b))) #s(approx (/ 1 (- (exp b) -1)) #s(literal 1/2 binary64)))

Calls

5 calls:

4.0ms	(exp.f64 a)
2.0ms	b
2.0ms	a
2.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
2.0ms	(exp.f64 b)

Results

Accuracy	Segments	Branch
39.7%	1	`a`
39.7%	1	`(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))`
39.7%	1	`(exp.f64 a)`
39.7%	1	`(exp.f64 b)`
39.7%	1	`b`

Compiler

Compiled 13 to 16 computations (-23.1% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.0	NaN

Compiler

Compiled 10 to 11 computations (-10% saved)

bsearch13.0ms (0.4%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
11.0ms	-3061496163923.5864	-141772.45983842766

Samples

6.0ms

144×

valid

Compiler

Compiled 245 to 245 computations (0% saved)

Precisions

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

ival-exp: 3.0ms (86.1% of total)

ival-div!: 1.0ms (28.7% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

bsearch9.0ms (0.3%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
8.0ms	5.7346214067787634e+144	3.5440167417421053e+146

Samples

4.0ms

112×

valid

Compiler

Compiled 277 to 270 computations (2.5% saved)

Precisions

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

ival-exp: 2.0ms (87.4% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

ival-div!: 0.0ms (0% of total)

bsearch20.0ms (0.7%)

Memory

-20.1MiB live, 26.6MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
5.0ms	-3061496163923.5864	-141772.45983842766
14.0ms	-3.690654230448057e+147	-5.846090758510103e+144

Samples

8.0ms	176×	0	valid
1.0ms	26×	0	exit

Compiler

Compiled 776 to 742 computations (4.4% saved)

Precisions

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

ival-exp: 3.0ms (69.3% of total)

ival-add!: 1.0ms (23.1% of total)

ival-div!: 1.0ms (23.1% of total)

adjust: 0.0ms (0% of total)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	-3061496163923.5864	-141772.45983842766

Compiler

Compiled 416 to 398 computations (4.3% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	-3061496163923.5864	-141772.45983842766

Compiler

Compiled 407 to 389 computations (4.4% saved)

derivations282.0ms (9.5%)

Memory

-22.1MiB live, 259.9MiB allocated; 37ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 111 to 85 computations (23.4% saved)

preprocess61.0ms (2%)

Memory: 45.0MiB live, 135.7MiB allocated; 13ms collecting garbage
Compiler: Compiled 126 to 98 computations (22.2% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze5.0ms (0.2%)

sample1.1s (37.1%)

preprocess26.0ms (0.9%)

series10.0ms (0.3%)

rewrite222.0ms (7.5%)

eval6.0ms (0.2%)

prune2.0ms (0.1%)

series6.0ms (0.2%)

rewrite160.0ms (5.4%)

eval40.0ms (1.4%)

prune7.0ms (0.2%)

series8.0ms (0.3%)

rewrite178.0ms (6%)

eval14.0ms (0.5%)

prune8.0ms (0.3%)

series9.0ms (0.3%)

rewrite560.0ms (18.9%)

eval20.0ms (0.7%)

prune11.0ms (0.4%)

regimes29.0ms (1%)

regimes30.0ms (1%)

regimes23.0ms (0.8%)

regimes23.0ms (0.8%)

regimes23.0ms (0.8%)

regimes12.0ms (0.4%)

regimes18.0ms (0.6%)

regimes14.0ms (0.5%)

regimes12.0ms (0.4%)

bsearch0.0ms (0%)

bsearch13.0ms (0.4%)

bsearch9.0ms (0.3%)

bsearch20.0ms (0.7%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

derivations282.0ms (9.5%)

preprocess61.0ms (2%)

end0.0ms (0%)

Profiling