Metrics for bug500, discussion (missed optimization)

start0.0ms (0%)

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

analyze103.0ms (1.2%)

Memory

1.4MiB live, 137.5MiB allocated; 14ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
25%	25%	75%	0%	0%	0%	0%	3
37.5%	37.5%	62.5%	0%	0%	0%	0%	4
43.8%	43.7%	56.2%	0%	0%	0%	0%	5
46.9%	46.9%	53.1%	0%	0%	0%	0%	6
48.4%	48.4%	51.5%	0%	0%	0%	0%	7
49.2%	49.2%	50.8%	0%	0%	0%	0%	8
50.4%	50.4%	49.6%	0%	0%	0%	0%	9
51%	51%	49%	0%	0%	0%	0%	10
51.3%	51.2%	48.7%	0%	0%	0%	0%	11
51.3%	51.3%	48.7%	0%	0%	0%	0%	12

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample6.8s (81.4%)

Memory

133.7MiB live, 5 494.6MiB allocated; 2.5s collecting garbage

Samples

3.2s	7 810×	5	exit
2.3s	5 749×	2	valid
323.0ms	2 208×	1	valid
15.0ms	299×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 4.5s

ival-log: 1.9s (41.4% of total)

ival-sinh: 1.2s (26% of total)

adjust: 1.1s (23.9% of total)

ival-div!: 388.0ms (8.7% of total)

Bogosity

preprocess87.0ms (1%)

Memory

-34.0MiB live, 58.4MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	34	16
2	166	16
3	932	15
4	7168	15

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	52.4%	(log.f64 (/.f64 (sinh.f64 x) x))

Symmetry

(abs x)

Compiler

Compiled 8 to 8 computations (0% saved)

series62.0ms (0.7%)

Memory

17.9MiB live, 72.1MiB allocated; 8ms collecting garbage

Counts

4 → 16

Calls

Call 1

Inputs
(log.f64 (/.f64 (sinh.f64 x) x))
(/.f64 (sinh.f64 x) x)
(sinh.f64 x)
x

Outputs
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* 1/6 (pow x 2))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* 1/2835 (pow x 2)) 1/180))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* (pow x 2) (+ 1/2835 (* -1/37800 (pow x 2)))) 1/180))))))
#s(approx (/ (sinh x) x) #s(hole binary64 1))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* 1/6 (pow x 2)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2)))))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2)))))))))
#s(approx (sinh x) #s(hole binary64 x))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* 1/6 (pow x 2))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2))))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2))))))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (log (/ 1 x)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (* 1/2 (/ (- (exp x) (/ 1 (exp x))) x))))
#s(approx (sinh x) #s(hole binary64 (* 1/2 (- (exp x) (/ 1 (exp x))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* -1/2 (- (exp x) (/ 1 (exp x))))) (log (/ -1 x)))))

Calls

3 calls:

Time	Variable		Point	Expression
31.0ms	x	@	-inf	((log (/ (sinh x) x)) (/ (sinh x) x) (sinh x) x)
29.0ms	x	@	inf	((log (/ (sinh x) x)) (/ (sinh x) x) (sinh x) x)
2.0ms	x	@	0	((log (/ (sinh x) x)) (/ (sinh x) x) (sinh x) x)

rewrite198.0ms (2.4%)

Memory

26.6MiB live, 116.1MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	81	280
0	85	274
1	488	246
2	4229	240
0	8242	222
1	22611	222

Stop Event

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

Counts

20 → 111

Calls

Call 1

Inputs
(log.f64 (/.f64 (sinh.f64 x) x))
(/.f64 (sinh.f64 x) x)
(sinh.f64 x)
x
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* 1/6 (pow x 2))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* 1/2835 (pow x 2)) 1/180))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* (pow x 2) (+ 1/2835 (* -1/37800 (pow x 2)))) 1/180))))))
#s(approx (/ (sinh x) x) #s(hole binary64 1))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* 1/6 (pow x 2)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2)))))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2)))))))))
#s(approx (sinh x) #s(hole binary64 x))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* 1/6 (pow x 2))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2))))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2))))))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (log (/ 1 x)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (* 1/2 (/ (- (exp x) (/ 1 (exp x))) x))))
#s(approx (sinh x) #s(hole binary64 (* 1/2 (- (exp x) (/ 1 (exp x))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* -1/2 (- (exp x) (/ 1 (exp x))))) (log (/ -1 x)))))

Outputs
(neg.f64 (log.f64 (/.f64 x (sinh.f64 x))))
(fma.f64 #s(literal -1 binary64) (log.f64 x) (log.f64 (sinh.f64 x)))
(-.f64 (neg.f64 (log.f64 x)) (neg.f64 (log.f64 (sinh.f64 x))))
(-.f64 (log.f64 (sinh.f64 x)) (log.f64 x))
(+.f64 (neg.f64 (log.f64 x)) (log.f64 (sinh.f64 x)))
(+.f64 (log.f64 (sinh.f64 x)) (neg.f64 (log.f64 x)))
(log.f64 (fabs.f64 (fabs.f64 (fabs.f64 (/.f64 (sinh.f64 x) x)))))
(log.f64 (fabs.f64 (fabs.f64 (.f64 #s(literal -1/2 binary64) (/.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) x)))))
(log.f64 (fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (fabs.f64 (sinh.f64 x)))))
(log.f64 (fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (sinh.f64 x))))
(log.f64 (fabs.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) (fabs.f64 (sinh.f64 x)))))
(log.f64 (fabs.f64 (*.f64 (fabs.f64 (sinh.f64 x)) (/.f64 #s(literal -1 binary64) x))))
(log.f64 (fabs.f64 (*.f64 (sinh.f64 x) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
(log.f64 (fabs.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x))))))
(log.f64 (fabs.f64 (.f64 (.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
(log.f64 (*.f64 (fabs.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (fabs.f64 (fabs.f64 (sinh.f64 x)))))
(log.f64 (*.f64 (fabs.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (fabs.f64 (sinh.f64 x))))
(log.f64 (.f64 (fabs.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x)))))
(log.f64 (*.f64 (fabs.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (sinh.f64 x)))
(log.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (fabs.f64 (fabs.f64 (sinh.f64 x)))))
(log.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) (fabs.f64 (fabs.f64 (sinh.f64 x)))))
(log.f64 (*.f64 (fabs.f64 (fabs.f64 (sinh.f64 x))) (fabs.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
(log.f64 (*.f64 (fabs.f64 (fabs.f64 (sinh.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))
(log.f64 (*.f64 (fabs.f64 (fabs.f64 (sinh.f64 x))) (/.f64 #s(literal -1 binary64) x)))
(log.f64 (*.f64 (fabs.f64 (sinh.f64 x)) (fabs.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
(log.f64 (.f64 (.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x))) (fabs.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
(log.f64 (*.f64 (sinh.f64 x) (fabs.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
(log.f64 (/.f64 (fabs.f64 (fabs.f64 (sinh.f64 x))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
(log.f64 (/.f64 (fabs.f64 (fabs.f64 (sinh.f64 x))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(log.f64 (/.f64 (fabs.f64 (fabs.f64 (sinh.f64 x))) (fabs.f64 x)))
(log.f64 (/.f64 (fabs.f64 (fabs.f64 (sinh.f64 x))) x))
(log.f64 (/.f64 (fabs.f64 (sinh.f64 x)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
(log.f64 (/.f64 (fabs.f64 (sinh.f64 x)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(log.f64 (/.f64 (fabs.f64 (sinh.f64 x)) x))
(log.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 #s(literal 2 binary64) (sinh.f64 x))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
(log.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 #s(literal 2 binary64) (sinh.f64 x))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(log.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 #s(literal 2 binary64) (sinh.f64 x))) (fabs.f64 x)))
(log.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 #s(literal 2 binary64) (sinh.f64 x))) x))
(log.f64 (/.f64 (sinh.f64 x) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
(log.f64 (/.f64 (sinh.f64 x) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(log.f64 (/.f64 (sinh.f64 x) (fabs.f64 x)))
(log.f64 (fabs.f64 (fabs.f64 (/.f64 (sinh.f64 x) x))))
(log.f64 (fabs.f64 (.f64 #s(literal -1/2 binary64) (/.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) x))))
(log.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (fabs.f64 (sinh.f64 x))))
(log.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (sinh.f64 x)))
(log.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) (fabs.f64 (sinh.f64 x))))
(log.f64 (*.f64 (fabs.f64 (sinh.f64 x)) (/.f64 #s(literal -1 binary64) x)))
(log.f64 (*.f64 (sinh.f64 x) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))
(log.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x)))))
(log.f64 (.f64 (.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))
(log.f64 (fabs.f64 (/.f64 (sinh.f64 x) x)))
(log.f64 (.f64 #s(literal -1/2 binary64) (/.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) x)))
(log.f64 (/.f64 (sinh.f64 x) x))
(.f64 (.f64 (sinh.f64 x) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) x))
(*.f64 (sinh.f64 (neg.f64 x)) (/.f64 #s(literal -1 binary64) x))
(.f64 (/.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) x) #s(literal 1/2 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) x) (sinh.f64 x))
(.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) (*.f64 (/.f64 #s(literal -1 binary64) x) #s(literal 1/2 binary64)))
(.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal -1 binary64) x)))
(.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) (/.f64 #s(literal 1/2 binary64) x))
(.f64 #s(literal 1/2 binary64) (/.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) x))
(*.f64 #s(literal 1 binary64) (/.f64 (sinh.f64 x) x))
(*.f64 (sinh.f64 x) (/.f64 #s(literal -1 binary64) x))
(/.f64 (*.f64 (sinh.f64 x) #s(literal -1 binary64)) (neg.f64 x))
(/.f64 (*.f64 (sinh.f64 x) #s(literal 1 binary64)) x)
(/.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x))) #s(literal 1/2 binary64)) (neg.f64 x))
(/.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)))) (neg.f64 x))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) #s(literal -1 binary64)) (*.f64 #s(literal 2 binary64) (neg.f64 x)))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) x))
(/.f64 (sinh.f64 (neg.f64 x)) (neg.f64 x))
(/.f64 (/.f64 (*.f64 #s(literal 2 binary64) (sinh.f64 x)) x) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) (.f64 #s(literal 2 binary64) x))
(/.f64 (sinh.f64 x) (neg.f64 (neg.f64 x)))
(/.f64 (sinh.f64 x) x)
(neg.f64 (/.f64 (sinh.f64 x) (neg.f64 x)))
(neg.f64 (/.f64 (sinh.f64 (neg.f64 x)) x))
(.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) #s(literal 1/2 binary64))
(.f64 #s(literal 1/2 binary64) (.f64 #s(literal 2 binary64) (sinh.f64 x)))
(/.f64 (sinh.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 (.f64 #s(literal 2 binary64) (+.f64 (cosh.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)))))
(/.f64 (sinh.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 (.f64 #s(literal 2 binary64) (+.f64 (cosh.f64 (*.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (sinh.f64 x))) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (sinh.f64 x)) #s(literal 2 binary64))
(sinh.f64 (neg.f64 (neg.f64 x)))
(sinh.f64 x)
(neg.f64 (sinh.f64 (*.f64 #s(literal -1 binary64) x)))
(neg.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x))) #s(literal 1/2 binary64)))
(neg.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)))))
(neg.f64 (sinh.f64 (neg.f64 x)))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (*.f64 (neg.f64 (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64)))
(fma.f64 #s(literal 1/2 binary64) (exp.f64 x) (*.f64 #s(literal 1/2 binary64) (neg.f64 (exp.f64 (neg.f64 x)))))
(-.f64 (/.f64 (exp.f64 x) #s(literal 2 binary64)) (/.f64 (exp.f64 (neg.f64 x)) #s(literal 2 binary64)))
(+.f64 (.f64 #s(literal 1/2 binary64) (exp.f64 x)) (.f64 #s(literal 1/2 binary64) (neg.f64 (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 (exp.f64 x) #s(literal 1/2 binary64)) (.f64 (neg.f64 (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64)))
(+.f64 (/.f64 (exp.f64 x) #s(literal 2 binary64)) (/.f64 (neg.f64 (exp.f64 (neg.f64 x))) #s(literal 2 binary64)))
x
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/2835 binary64) (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x) #s(literal 1/6 binary64)) x) x))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -1/37800 binary64) (.f64 x x) #s(literal 1/2835 binary64)) (*.f64 x x) #s(literal -1/180 binary64)) x) x #s(literal 1/6 binary64)) x) x))
#s(approx (/ (sinh x) x) #s(literal 1 binary64))
#s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64)))
#s(approx (/ (sinh x) x) (fma.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)))
#s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64)))
#s(approx (sinh x) x)
#s(approx (sinh x) (.f64 (fma.f64 (.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64)) x))
#s(approx (sinh x) (.f64 (fma.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sinh x) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64)) x))
#s(approx (log (/ (sinh x) x)) (log.f64 (/.f64 (sinh.f64 x) x)))
#s(approx (/ (sinh x) x) (/.f64 (sinh.f64 x) x))
#s(approx (sinh x) (sinh.f64 x))
#s(approx (log (/ (sinh x) x)) (log.f64 (/.f64 (sinh.f64 x) x)))

eval11.0ms (0.1%)

Memory: -28.4MiB live, 15.8MiB allocated; 5ms collecting garbage
Compiler: Compiled 678 to 324 computations (52.2% saved)

prune6.0ms (0.1%)

Memory

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

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	98	8	106
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	98	9	107

Accuracy

99.1%

Counts

107 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
	52.1%	(-.f64 (log.f64 (sinh.f64 x)) (log.f64 x))
▶	52.3%	(neg.f64 (log.f64 (/.f64 x (sinh.f64 x))))
✓	52.4%	(log.f64 (/.f64 (sinh.f64 x) x))
	52.3%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))))
▶	52.4%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))))
▶	52.3%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))
▶	51.3%	(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))
▶	98.7%	#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
	98.5%	#s(approx (log (/ (sinh x) x)) (.f64 (.f64 x x) #s(literal 1/6 binary64)))

Compiler

Compiled 146 to 142 computations (2.7% saved)

series85.0ms (1%)

Memory

22.6MiB live, 117.1MiB allocated; 17ms collecting garbage

Counts

26 → 60

Calls

Call 1

Inputs
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
(.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x)
(.f64 (fma.f64 #s(literal -1/180 binary64) (.f64 x x) #s(literal 1/6 binary64)) x)
(fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64))
#s(literal -1/180 binary64)
(*.f64 x x)
x
#s(literal 1/6 binary64)
(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))
#s(approx (/ (sinh x) x) #s(literal 1 binary64))
#s(literal 1 binary64)
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64)))
(fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))
(neg.f64 (log.f64 (/.f64 x (sinh.f64 x))))
(log.f64 (/.f64 x (sinh.f64 x)))
(/.f64 x (sinh.f64 x))
(sinh.f64 x)
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64)))
(fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))
(.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x)
(fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64))
(fma.f64 #s(literal 1/5040 binary64) (*.f64 x x) #s(literal 1/120 binary64))
#s(literal 1/5040 binary64)
#s(literal 1/120 binary64)

Outputs
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* 1/6 (pow x 2))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* 1/2835 (pow x 2)) 1/180))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* (pow x 2) (+ 1/2835 (* -1/37800 (pow x 2)))) 1/180))))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* 1/6 x)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* x (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 1/6))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 (+ 1/6 (* -1/180 (pow x 2)))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (sinh x) x) #s(hole binary64 1))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* 1/6 (pow x 2)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2)))))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2)))))))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (* -1/6 (pow x 2))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (* (pow x 2) (- (* 1/180 (pow x 2)) 1/6))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (* (pow x 2) (- (* (pow x 2) (+ 1/180 (* -1/2835 (pow x 2)))) 1/6))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (* (pow x 2) (- (* (pow x 2) (+ 1/180 (* (pow x 2) (- (* 1/37800 (pow x 2)) 1/2835)))) 1/6))))
#s(approx (/ x (sinh x)) #s(hole binary64 (+ 1 (* -1/6 (pow x 2)))))
#s(approx (/ x (sinh x)) #s(hole binary64 (+ 1 (* (pow x 2) (- (* 7/360 (pow x 2)) 1/6)))))
#s(approx (/ x (sinh x)) #s(hole binary64 (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 7/360 (* -31/15120 (pow x 2)))) 1/6)))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* 1/6 (pow x 2))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2))))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2))))))))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* x (+ 1/6 (* 1/120 (pow x 2))))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* x (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2))))))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) #s(hole binary64 (+ 1/6 (* 1/120 (pow x 2)))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) #s(hole binary64 (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2)))))))
#s(approx (+ (* 1/5040 (* x x)) 1/120) #s(hole binary64 1/120))
#s(approx (+ (* 1/5040 (* x x)) 1/120) #s(hole binary64 (+ 1/120 (* 1/5040 (pow x 2)))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (log (/ 1 x)))))
#s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) #s(hole binary64 (* -1/180 (pow x 4))))
#s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) #s(hole binary64 (* (pow x 4) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1/180 (pow x 3))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* (pow x 3) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 (* -1/180 (pow x 2))))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 (* (pow x 2) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (/ (sinh x) x) #s(hole binary64 (* 1/2 (/ (- (exp x) (/ 1 (exp x))) x))))
#s(approx (+ (* (* x x) 1/6) 1) #s(hole binary64 (* (pow x 2) (+ 1/6 (/ 1 (pow x 2))))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* -1 (+ (log (/ 2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ 1 x)))))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (+ (log (/ 2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ 1 x))))))
#s(approx (/ x (sinh x)) #s(hole binary64 (* 2 (/ x (- (exp x) (/ 1 (exp x)))))))
#s(approx (sinh x) #s(hole binary64 (* 1/2 (- (exp x) (/ 1 (exp x))))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* 1/5040 (pow x 6))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (* 1/120 (/ 1 (pow x 2)))))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (* 1/120 (/ 1 (pow x 2))))))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (+ (* 1/120 (/ 1 (pow x 2))) (/ 1 (pow x 6))))))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* 1/5040 (pow x 5))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* (pow x 5) (+ 1/5040 (* 1/120 (/ 1 (pow x 2)))))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* (pow x 5) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (* 1/120 (/ 1 (pow x 2))))))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) #s(hole binary64 (* 1/5040 (pow x 4))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) #s(hole binary64 (* (pow x 4) (+ 1/5040 (* 1/120 (/ 1 (pow x 2)))))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) #s(hole binary64 (* (pow x 4) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (* 1/120 (/ 1 (pow x 2))))))))
#s(approx (+ (* 1/5040 (* x x)) 1/120) #s(hole binary64 (* 1/5040 (pow x 2))))
#s(approx (+ (* 1/5040 (* x x)) 1/120) #s(hole binary64 (* (pow x 2) (+ 1/5040 (* 1/120 (/ 1 (pow x 2)))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* -1/2 (- (exp x) (/ 1 (exp x))))) (log (/ -1 x)))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1 (* (pow x 3) (- 1/180 (* 1/6 (/ 1 (pow x 2))))))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* -1 (+ (log (/ -2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ -1 x)))))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (+ (log (/ -2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ -1 x))))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* -1 (* (pow x 5) (- (* -1 (/ (+ 1/120 (* 1/6 (/ 1 (pow x 2)))) (pow x 2))) 1/5040)))))

Calls

3 calls:

Time	Variable		Point	Expression
47.0ms	x	@	-inf	((log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) -1/180 (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) 1 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* x x) 1/6) 1) (neg (log (/ x (sinh x)))) (log (/ x (sinh x))) (/ x (sinh x)) (sinh x) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (+ (* 1/5040 (* x x)) 1/120) 1/5040 1/120)
34.0ms	x	@	inf	((log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) -1/180 (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) 1 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* x x) 1/6) 1) (neg (log (/ x (sinh x)))) (log (/ x (sinh x))) (/ x (sinh x)) (sinh x) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (+ (* 1/5040 (* x x)) 1/120) 1/5040 1/120)
3.0ms	x	@	0	((log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) -1/180 (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) 1 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* x x) 1/6) 1) (neg (log (/ x (sinh x)))) (log (/ x (sinh x))) (/ x (sinh x)) (sinh x) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (+ (* 1/5040 (* x x)) 1/120) 1/5040 1/120)

Time

Variable

Point

Expression

47.0ms

-inf

((log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) -1/180 (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) 1 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* x x) 1/6) 1) (neg (log (/ x (sinh x)))) (log (/ x (sinh x))) (/ x (sinh x)) (sinh x) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (+ (* 1/5040 (* x x)) 1/120) 1/5040 1/120)

34.0ms

inf

((log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) -1/180 (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) 1 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* x x) 1/6) 1) (neg (log (/ x (sinh x)))) (log (/ x (sinh x))) (/ x (sinh x)) (sinh x) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (+ (* 1/5040 (* x x)) 1/120) 1/5040 1/120)

3.0ms

((log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) -1/180 (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) 1 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* x x) 1/6) 1) (neg (log (/ x (sinh x)))) (log (/ x (sinh x))) (/ x (sinh x)) (sinh x) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (+ (* 1/5040 (* x x)) 1/120) 1/5040 1/120)

rewrite201.0ms (2.4%)

Memory

-2.7MiB live, 142.4MiB allocated; 54ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	254	1390
0	282	1320
1	1413	1270
0	8509	1233
1	25879	1233

Stop Event

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

Counts

86 → 258

Calls

Call 1

Inputs
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
(.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x)
(.f64 (fma.f64 #s(literal -1/180 binary64) (.f64 x x) #s(literal 1/6 binary64)) x)
(fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64))
#s(literal -1/180 binary64)
(*.f64 x x)
x
#s(literal 1/6 binary64)
(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))
#s(approx (/ (sinh x) x) #s(literal 1 binary64))
#s(literal 1 binary64)
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64)))
(fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))
(neg.f64 (log.f64 (/.f64 x (sinh.f64 x))))
(log.f64 (/.f64 x (sinh.f64 x)))
(/.f64 x (sinh.f64 x))
(sinh.f64 x)
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64)))
(fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))
(.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x)
(fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64))
(fma.f64 #s(literal 1/5040 binary64) (*.f64 x x) #s(literal 1/120 binary64))
#s(literal 1/5040 binary64)
#s(literal 1/120 binary64)
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* 1/6 (pow x 2))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* 1/2835 (pow x 2)) 1/180))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* (pow x 2) (+ 1/2835 (* -1/37800 (pow x 2)))) 1/180))))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* 1/6 x)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* x (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 1/6))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 (+ 1/6 (* -1/180 (pow x 2)))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (sinh x) x) #s(hole binary64 1))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* 1/6 (pow x 2)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2)))))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2)))))))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (* -1/6 (pow x 2))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (* (pow x 2) (- (* 1/180 (pow x 2)) 1/6))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (* (pow x 2) (- (* (pow x 2) (+ 1/180 (* -1/2835 (pow x 2)))) 1/6))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (* (pow x 2) (- (* (pow x 2) (+ 1/180 (* (pow x 2) (- (* 1/37800 (pow x 2)) 1/2835)))) 1/6))))
#s(approx (/ x (sinh x)) #s(hole binary64 (+ 1 (* -1/6 (pow x 2)))))
#s(approx (/ x (sinh x)) #s(hole binary64 (+ 1 (* (pow x 2) (- (* 7/360 (pow x 2)) 1/6)))))
#s(approx (/ x (sinh x)) #s(hole binary64 (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 7/360 (* -31/15120 (pow x 2)))) 1/6)))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* 1/6 (pow x 2))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2))))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2))))))))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* x (+ 1/6 (* 1/120 (pow x 2))))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* x (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2))))))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) #s(hole binary64 (+ 1/6 (* 1/120 (pow x 2)))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) #s(hole binary64 (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2)))))))
#s(approx (+ (* 1/5040 (* x x)) 1/120) #s(hole binary64 1/120))
#s(approx (+ (* 1/5040 (* x x)) 1/120) #s(hole binary64 (+ 1/120 (* 1/5040 (pow x 2)))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (log (/ 1 x)))))
#s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) #s(hole binary64 (* -1/180 (pow x 4))))
#s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) #s(hole binary64 (* (pow x 4) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1/180 (pow x 3))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* (pow x 3) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 (* -1/180 (pow x 2))))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 (* (pow x 2) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (/ (sinh x) x) #s(hole binary64 (* 1/2 (/ (- (exp x) (/ 1 (exp x))) x))))
#s(approx (+ (* (* x x) 1/6) 1) #s(hole binary64 (* (pow x 2) (+ 1/6 (/ 1 (pow x 2))))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* -1 (+ (log (/ 2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ 1 x)))))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (+ (log (/ 2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ 1 x))))))
#s(approx (/ x (sinh x)) #s(hole binary64 (* 2 (/ x (- (exp x) (/ 1 (exp x)))))))
#s(approx (sinh x) #s(hole binary64 (* 1/2 (- (exp x) (/ 1 (exp x))))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* 1/5040 (pow x 6))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (* 1/120 (/ 1 (pow x 2)))))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (* 1/120 (/ 1 (pow x 2))))))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (+ (* 1/120 (/ 1 (pow x 2))) (/ 1 (pow x 6))))))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* 1/5040 (pow x 5))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* (pow x 5) (+ 1/5040 (* 1/120 (/ 1 (pow x 2)))))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* (pow x 5) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (* 1/120 (/ 1 (pow x 2))))))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) #s(hole binary64 (* 1/5040 (pow x 4))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) #s(hole binary64 (* (pow x 4) (+ 1/5040 (* 1/120 (/ 1 (pow x 2)))))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) #s(hole binary64 (* (pow x 4) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (* 1/120 (/ 1 (pow x 2))))))))
#s(approx (+ (* 1/5040 (* x x)) 1/120) #s(hole binary64 (* 1/5040 (pow x 2))))
#s(approx (+ (* 1/5040 (* x x)) 1/120) #s(hole binary64 (* (pow x 2) (+ 1/5040 (* 1/120 (/ 1 (pow x 2)))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* -1/2 (- (exp x) (/ 1 (exp x))))) (log (/ -1 x)))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1 (* (pow x 3) (- 1/180 (* 1/6 (/ 1 (pow x 2))))))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* -1 (+ (log (/ -2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ -1 x)))))))
#s(approx (log (/ x (sinh x))) #s(hole binary64 (+ (log (/ -2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ -1 x))))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) #s(hole binary64 (* -1 (* (pow x 5) (- (* -1 (/ (+ 1/120 (* 1/6 (/ 1 (pow x 2)))) (pow x 2))) 1/5040)))))

Outputs
#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) x) x))
(.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) x) x)
(.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) (*.f64 x x))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)))
(.f64 x (.f64 (fma.f64 (*.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) x))
(fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 x x) (.f64 (*.f64 x x) #s(literal -1/180 binary64))))
(fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x)))
(fma.f64 #s(literal 1/6 binary64) (.f64 x x) (.f64 (.f64 x x) (.f64 (*.f64 x x) #s(literal -1/180 binary64))))
(fma.f64 #s(literal 1/6 binary64) (.f64 x x) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x)))
(fma.f64 x (.f64 #s(literal 1/6 binary64) x) (.f64 (.f64 x x) (.f64 (*.f64 x x) #s(literal -1/180 binary64))))
(fma.f64 x (.f64 #s(literal 1/6 binary64) x) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x)))
(-.f64 (.f64 (.f64 x x) #s(literal 1/6 binary64)) (neg.f64 (.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal -1/180 binary64)))))
(-.f64 (.f64 (.f64 x x) #s(literal 1/6 binary64)) (neg.f64 (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x))))
(+.f64 (.f64 (.f64 x x) #s(literal 1/6 binary64)) (.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal -1/180 binary64))))
(+.f64 (.f64 (.f64 x x) #s(literal 1/6 binary64)) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x)))
(.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) x)
(.f64 x (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)))
(fma.f64 #s(literal 1/6 binary64) x (.f64 x (.f64 (*.f64 x x) #s(literal -1/180 binary64))))
(fma.f64 #s(literal 1/6 binary64) x (.f64 (.f64 (*.f64 x x) #s(literal -1/180 binary64)) x))
(fma.f64 x #s(literal 1/6 binary64) (.f64 x (.f64 (*.f64 x x) #s(literal -1/180 binary64))))
(fma.f64 x #s(literal 1/6 binary64) (.f64 (.f64 (*.f64 x x) #s(literal -1/180 binary64)) x))
(-.f64 (.f64 #s(literal 1/6 binary64) x) (neg.f64 (.f64 x (.f64 (.f64 x x) #s(literal -1/180 binary64)))))
(-.f64 (.f64 #s(literal 1/6 binary64) x) (neg.f64 (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) x)))
(+.f64 (.f64 #s(literal 1/6 binary64) x) (.f64 x (.f64 (.f64 x x) #s(literal -1/180 binary64))))
(+.f64 (.f64 #s(literal 1/6 binary64) x) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) x))
(neg.f64 (+.f64 #s(literal -1/6 binary64) (neg.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)))))
(neg.f64 (+.f64 #s(literal -1/6 binary64) (.f64 #s(literal 1/180 binary64) (.f64 x x))))
(neg.f64 (fma.f64 #s(literal 1/180 binary64) (*.f64 x x) #s(literal -1/6 binary64)))
(fma.f64 (*.f64 #s(literal -1/180 binary64) x) x #s(literal 1/6 binary64))
(fma.f64 (*.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64))
(fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64))
(-.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) #s(literal -1/6 binary64))
(-.f64 #s(literal 1/6 binary64) (neg.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64))))
(-.f64 #s(literal 1/6 binary64) (.f64 #s(literal 1/180 binary64) (.f64 x x)))
(+.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) #s(literal 1/6 binary64))
(+.f64 #s(literal 1/6 binary64) (.f64 (neg.f64 (.f64 x x)) #s(literal 1/180 binary64)))
(+.f64 #s(literal 1/6 binary64) (neg.f64 (neg.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)))))
(+.f64 #s(literal 1/6 binary64) (neg.f64 (.f64 #s(literal 1/180 binary64) (.f64 x x))))
(+.f64 #s(literal 1/6 binary64) (.f64 (.f64 x x) #s(literal -1/180 binary64)))
#s(literal -1/180 binary64)
(*.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))) (neg.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(*.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(*.f64 (fabs.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))) (fabs.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 x x)
(pow.f64 (fabs.f64 (fabs.f64 x)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 x)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 x)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) #s(literal 2 binary64))
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(sqrt.f64 (.f64 (.f64 x x) (*.f64 x x)))
(fabs.f64 (neg.f64 (*.f64 x x)))
(fabs.f64 (*.f64 x x))
x
#s(literal 1/6 binary64)
(log.f64 (fabs.f64 (fabs.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))))
(log.f64 (fabs.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64))))
(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))
#s(approx (/ (sinh x) x) #s(literal 1 binary64))
#s(literal 1 binary64)
(log.f64 (fabs.f64 (fabs.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))))
(log.f64 (fabs.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64)))))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64)))
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal -1/6 binary64)) (*.f64 x x))
(.f64 (.f64 x x) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal -1/6 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) (.f64 (.f64 x x) #s(literal 1/6 binary64))))
(neg.f64 (-.f64 (neg.f64 (.f64 (.f64 x x) #s(literal 1/6 binary64))) #s(literal 1 binary64)))
(neg.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 (.f64 x x) #s(literal 1/6 binary64)))))
(neg.f64 (+.f64 #s(literal -1 binary64) (.f64 #s(literal -1/6 binary64) (.f64 x x))))
(neg.f64 (-.f64 (.f64 #s(literal -1/6 binary64) (.f64 x x)) #s(literal 1 binary64)))
(fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/6 binary64) (*.f64 x x) #s(literal 1 binary64))
(fma.f64 x (*.f64 #s(literal 1/6 binary64) x) #s(literal 1 binary64))
(-.f64 (.f64 (.f64 x x) #s(literal 1/6 binary64)) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (neg.f64 (.f64 (.f64 x x) #s(literal 1/6 binary64))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal -1/6 binary64) (.f64 x x)))
(+.f64 (.f64 (.f64 x x) #s(literal 1/6 binary64)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 (neg.f64 (.f64 x x)) #s(literal -1/6 binary64)))
(+.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (.f64 (.f64 x x) #s(literal 1/6 binary64)))))
(+.f64 #s(literal 1 binary64) (neg.f64 (.f64 #s(literal -1/6 binary64) (.f64 x x))))
(+.f64 #s(literal 1 binary64) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
(neg.f64 (-.f64 (neg.f64 (neg.f64 (log.f64 x))) (log.f64 (sinh.f64 x))))
(neg.f64 (log.f64 (/.f64 x (sinh.f64 x))))
(-.f64 (neg.f64 (log.f64 x)) (neg.f64 (log.f64 (sinh.f64 x))))
(-.f64 (log.f64 (sinh.f64 x)) (log.f64 x))
(-.f64 (log.f64 (sinh.f64 x)) (neg.f64 (neg.f64 (log.f64 x))))
(+.f64 (neg.f64 (log.f64 x)) (log.f64 (sinh.f64 x)))
(+.f64 (log.f64 (sinh.f64 x)) (*.f64 (neg.f64 (neg.f64 (log.f64 x))) #s(literal -1 binary64)))
(+.f64 (log.f64 (sinh.f64 x)) (*.f64 #s(literal 1 binary64) (neg.f64 (log.f64 x))))
(+.f64 (log.f64 (sinh.f64 x)) (neg.f64 (log.f64 x)))
(log.f64 (fabs.f64 (fabs.f64 (/.f64 (sinh.f64 x) x))))
(log.f64 (fabs.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 #s(literal 2 binary64) (sinh.f64 x))) (neg.f64 x))))
(log.f64 (fabs.f64 (/.f64 #s(literal 1 binary64) (/.f64 x (sinh.f64 x)))))
(log.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (fabs.f64 (sinh.f64 x))))
(log.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (sinh.f64 x)))
(log.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) (fabs.f64 (sinh.f64 x))))
(log.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) (sinh.f64 x)))
(log.f64 (*.f64 (fabs.f64 (sinh.f64 x)) (/.f64 #s(literal 1 binary64) x)))
(log.f64 (*.f64 (sinh.f64 x) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))
(log.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x)))))
(log.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) (fabs.f64 (sinh.f64 x))))
(log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x)))))
(log.f64 (*.f64 (fabs.f64 (sinh.f64 x)) (/.f64 #s(literal -1 binary64) x)))
(log.f64 (.f64 (.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))
(log.f64 (/.f64 (fabs.f64 (sinh.f64 x)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(log.f64 (/.f64 (sinh.f64 x) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(log.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 #s(literal 2 binary64) (sinh.f64 x))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(log.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (/.f64 x (sinh.f64 x)))))
(log.f64 (fabs.f64 (/.f64 (sinh.f64 x) x)))
(log.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 #s(literal 2 binary64) (sinh.f64 x))) (neg.f64 x)))
(log.f64 (/.f64 #s(literal 1 binary64) (/.f64 x (sinh.f64 x))))
(log.f64 (/.f64 (sinh.f64 x) x))
(neg.f64 (log.f64 (/.f64 (sinh.f64 x) x)))
(log.f64 (fabs.f64 (fabs.f64 (/.f64 x (sinh.f64 x)))))
(log.f64 (fabs.f64 (/.f64 x (sinh.f64 x))))
(log.f64 (/.f64 x (sinh.f64 x)))
(*.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (sinh.f64 (neg.f64 x))))
(*.f64 #s(literal 1 binary64) (/.f64 x (sinh.f64 x)))
(*.f64 x (/.f64 #s(literal 1 binary64) (sinh.f64 x)))
(/.f64 (neg.f64 (neg.f64 x)) (neg.f64 (sinh.f64 (neg.f64 x))))
(/.f64 (neg.f64 x) (sinh.f64 (neg.f64 x)))
(/.f64 x (sinh.f64 x))
(.f64 (.f64 #s(literal 2 binary64) (sinh.f64 x)) #s(literal 1/2 binary64))
(.f64 #s(literal 1/2 binary64) (.f64 #s(literal 2 binary64) (sinh.f64 x)))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (sinh.f64 x))) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (sinh.f64 x)) #s(literal 2 binary64))
(sinh.f64 x)
(-.f64 (/.f64 (exp.f64 x) #s(literal 2 binary64)) (/.f64 (exp.f64 (neg.f64 x)) #s(literal 2 binary64)))
(+.f64 (/.f64 (exp.f64 x) #s(literal 2 binary64)) (/.f64 (neg.f64 (exp.f64 (neg.f64 x))) #s(literal 2 binary64)))
(log.f64 (fabs.f64 (fabs.f64 #s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))))))
(log.f64 (fabs.f64 #s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64)))))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) (.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) x) x)))
(neg.f64 (-.f64 (.f64 (neg.f64 (.f64 x x)) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64))) #s(literal 1 binary64)))
(neg.f64 (-.f64 (neg.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) x) x)) #s(literal 1 binary64)))
(neg.f64 (+.f64 #s(literal -1 binary64) (.f64 (neg.f64 (.f64 x x)) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)))))
(neg.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) x) x))))
(fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))
(fma.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x) #s(literal 1 binary64))
(fma.f64 (.f64 x x) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) #s(literal 1 binary64))
(fma.f64 x (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) #s(literal 1 binary64))
(-.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) x) x) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (.f64 x x)) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64))))
(-.f64 #s(literal 1 binary64) (neg.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) x) x)))
(+.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) x) x) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 (neg.f64 (neg.f64 (.f64 x x))) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64))))
(+.f64 #s(literal 1 binary64) (neg.f64 (.f64 (neg.f64 (.f64 x x)) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)))))
(+.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) x) x))))
(+.f64 #s(literal 1 binary64) (.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) x) x))
(.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x)
(.f64 x (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)))
(fma.f64 #s(literal 1/6 binary64) x (.f64 x (.f64 (.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x)))
(fma.f64 #s(literal 1/6 binary64) x (.f64 (.f64 (.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x) x))
(fma.f64 x #s(literal 1/6 binary64) (.f64 x (.f64 (.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x)))
(fma.f64 x #s(literal 1/6 binary64) (.f64 (.f64 (.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x) x))
(-.f64 (.f64 #s(literal 1/6 binary64) x) (neg.f64 (.f64 x (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x))))
(-.f64 (.f64 #s(literal 1/6 binary64) x) (neg.f64 (.f64 (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x) x)))
(+.f64 (.f64 #s(literal 1/6 binary64) x) (.f64 x (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x)))
(+.f64 (.f64 #s(literal 1/6 binary64) x) (.f64 (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x) x))
(neg.f64 (-.f64 #s(literal -1/6 binary64) (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x)))
(neg.f64 (-.f64 (.f64 (neg.f64 (.f64 x x)) (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64))) #s(literal 1/6 binary64)))
(neg.f64 (-.f64 (neg.f64 (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x)) #s(literal 1/6 binary64)))
(neg.f64 (+.f64 #s(literal -1/6 binary64) (.f64 (neg.f64 (.f64 x x)) (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)))))
(neg.f64 (+.f64 #s(literal -1/6 binary64) (neg.f64 (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x))))
(fma.f64 (.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x #s(literal 1/6 binary64))
(fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64))
(fma.f64 (.f64 x x) (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) #s(literal 1/6 binary64))
(-.f64 (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x) #s(literal -1/6 binary64))
(-.f64 #s(literal 1/6 binary64) (.f64 (neg.f64 (.f64 x x)) (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64))))
(-.f64 #s(literal 1/6 binary64) (neg.f64 (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x)))
(+.f64 (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x) #s(literal 1/6 binary64))
(+.f64 #s(literal 1/6 binary64) (.f64 (neg.f64 (neg.f64 (.f64 x x))) (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64))))
(+.f64 #s(literal 1/6 binary64) (neg.f64 (.f64 (neg.f64 (.f64 x x)) (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)))))
(+.f64 #s(literal 1/6 binary64) (neg.f64 (neg.f64 (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x))))
(+.f64 #s(literal 1/6 binary64) (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) x) x))
(neg.f64 (-.f64 #s(literal -1/120 binary64) (.f64 (.f64 x x) #s(literal 1/5040 binary64))))
(neg.f64 (-.f64 (.f64 #s(literal -1/5040 binary64) (.f64 x x)) #s(literal 1/120 binary64)))
(neg.f64 (-.f64 (neg.f64 (.f64 (.f64 x x) #s(literal 1/5040 binary64))) #s(literal 1/120 binary64)))
(fma.f64 (*.f64 #s(literal 1/5040 binary64) x) x #s(literal 1/120 binary64))
(fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64))
(fma.f64 #s(literal 1/5040 binary64) (*.f64 x x) #s(literal 1/120 binary64))
(-.f64 (.f64 (.f64 x x) #s(literal 1/5040 binary64)) #s(literal -1/120 binary64))
(-.f64 #s(literal 1/120 binary64) (.f64 #s(literal -1/5040 binary64) (.f64 x x)))
(-.f64 #s(literal 1/120 binary64) (neg.f64 (.f64 (.f64 x x) #s(literal 1/5040 binary64))))
(+.f64 (.f64 (.f64 x x) #s(literal 1/5040 binary64)) #s(literal 1/120 binary64))
(+.f64 #s(literal 1/120 binary64) (neg.f64 (.f64 #s(literal -1/5040 binary64) (.f64 x x))))
(+.f64 #s(literal 1/120 binary64) (neg.f64 (neg.f64 (.f64 (.f64 x x) #s(literal 1/5040 binary64)))))
(+.f64 #s(literal 1/120 binary64) (.f64 (.f64 x x) #s(literal 1/5040 binary64)))
#s(literal 1/5040 binary64)
#s(literal 1/120 binary64)
#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) x) x))
#s(approx (neg (log (/ x (sinh x)))) (.f64 (fma.f64 (fma.f64 #s(literal 1/2835 binary64) (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x)))
#s(approx (neg (log (/ x (sinh x)))) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal -1/37800 binary64) (.f64 x x) #s(literal 1/2835 binary64)) (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (*.f64 #s(literal 1/6 binary64) x))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) x))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64))
#s(approx (+ (* -1/180 (* x x)) 1/6) (fma.f64 (*.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)))
#s(approx (* x x) (*.f64 x x))
#s(approx x x)
#s(approx (/ (sinh x) x) #s(literal 1 binary64))
#s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64)))
#s(approx (/ (sinh x) x) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)))
#s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64)))
#s(approx (log (/ x (sinh x))) (.f64 #s(literal -1/6 binary64) (.f64 x x)))
#s(approx (log (/ x (sinh x))) (.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal -1/6 binary64)) (*.f64 x x)))
#s(approx (log (/ x (sinh x))) (.f64 (fma.f64 (fma.f64 #s(literal -1/2835 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal -1/6 binary64)) (.f64 x x)))
#s(approx (log (/ x (sinh x))) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 1/37800 binary64) (.f64 x x) #s(literal -1/2835 binary64)) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal -1/6 binary64)) (*.f64 x x)))
#s(approx (/ x (sinh x)) (fma.f64 #s(literal -1/6 binary64) (*.f64 x x) #s(literal 1 binary64)))
#s(approx (/ x (sinh x)) (fma.f64 (fma.f64 #s(literal 7/360 binary64) (.f64 x x) #s(literal -1/6 binary64)) (.f64 x x) #s(literal 1 binary64)))
#s(approx (/ x (sinh x)) (fma.f64 (fma.f64 (fma.f64 #s(literal -31/15120 binary64) (.f64 x x) #s(literal 7/360 binary64)) (.f64 x x) #s(literal -1/6 binary64)) (*.f64 x x) #s(literal 1 binary64)))
#s(approx (sinh x) (.f64 (fma.f64 (.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64)) x))
#s(approx (sinh x) (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (*.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sinh x) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64)) x))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) x))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (.f64 (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (fma.f64 (*.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)))
#s(approx (+ (* 1/5040 (* x x)) 1/120) #s(literal 1/120 binary64))
#s(approx (+ (* 1/5040 (* x x)) 1/120) (fma.f64 (*.f64 x x) #s(literal 1/5040 binary64) #s(literal 1/120 binary64)))
#s(approx (neg (log (/ x (sinh x)))) (log.f64 (/.f64 (sinh.f64 x) x)))
#s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1/180 binary64)))
#s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (*.f64 x x) x) #s(literal -1/180 binary64)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))
#s(approx (+ (* -1/180 (* x x)) 1/6) (.f64 (.f64 x x) #s(literal -1/180 binary64)))
#s(approx (+ (* -1/180 (* x x)) 1/6) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (*.f64 x x)))
#s(approx (/ (sinh x) x) (/.f64 (sinh.f64 x) x))
#s(approx (+ (* (* x x) 1/6) 1) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64)))
#s(approx (neg (log (/ x (sinh x)))) (-.f64 (neg.f64 (log.f64 x)) (log.f64 (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x))))))
#s(approx (log (/ x (sinh x))) (-.f64 (log.f64 (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x)))) (neg.f64 (log.f64 x))))
#s(approx (/ x (sinh x)) (/.f64 (+.f64 x x) (*.f64 #s(literal 2 binary64) (sinh.f64 x))))
#s(approx (sinh x) (sinh.f64 x))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (.f64 (-.f64 (/.f64 #s(literal 1/120 binary64) (.f64 x x)) #s(literal -1/5040 binary64)) (pow.f64 x #s(literal 6 binary64))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (.f64 (-.f64 (fma.f64 #s(literal 1/6 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) (.f64 x x))) (/.f64 #s(literal 1/120 binary64) (*.f64 x x))) #s(literal -1/5040 binary64)) (pow.f64 x #s(literal 6 binary64))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (.f64 (-.f64 (fma.f64 #s(literal 1/6 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) (.f64 x x))) (+.f64 (pow.f64 x #s(literal -6 binary64)) (/.f64 #s(literal 1/120 binary64) (*.f64 x x)))) #s(literal -1/5040 binary64)) (pow.f64 x #s(literal 6 binary64))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (*.f64 (pow.f64 x #s(literal 5 binary64)) #s(literal 1/5040 binary64)))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (.f64 (pow.f64 x #s(literal 5 binary64)) (-.f64 (/.f64 #s(literal 1/120 binary64) (.f64 x x)) #s(literal -1/5040 binary64))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (.f64 (pow.f64 x #s(literal 5 binary64)) (-.f64 (fma.f64 #s(literal 1/6 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) (.f64 x x))) (/.f64 #s(literal 1/120 binary64) (*.f64 x x))) #s(literal -1/5040 binary64))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/5040 binary64)))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (.f64 (-.f64 (/.f64 #s(literal 1/120 binary64) (.f64 x x)) #s(literal -1/5040 binary64)) (pow.f64 x #s(literal 4 binary64))))
#s(approx (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (.f64 (-.f64 (fma.f64 #s(literal 1/6 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) (.f64 x x))) (/.f64 #s(literal 1/120 binary64) (*.f64 x x))) #s(literal -1/5040 binary64)) (pow.f64 x #s(literal 4 binary64))))
#s(approx (+ (* 1/5040 (* x x)) 1/120) (.f64 (.f64 x x) #s(literal 1/5040 binary64)))
#s(approx (+ (* 1/5040 (* x x)) 1/120) (.f64 (-.f64 (/.f64 #s(literal 1/120 binary64) (.f64 x x)) #s(literal -1/5040 binary64)) (*.f64 x x)))
#s(approx (neg (log (/ x (sinh x)))) (log.f64 (/.f64 (sinh.f64 x) x)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (neg.f64 (.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (.f64 (.f64 x x) x))))
#s(approx (neg (log (/ x (sinh x)))) (-.f64 (neg.f64 (log.f64 x)) (log.f64 (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x))))))
#s(approx (log (/ x (sinh x))) (-.f64 (log.f64 (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (sinh.f64 x)))) (neg.f64 (log.f64 x))))
#s(approx (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) (neg.f64 (.f64 (-.f64 (neg.f64 (/.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal -1/120 binary64)) (*.f64 x x))) #s(literal 1/5040 binary64)) (pow.f64 x #s(literal 5 binary64)))))

eval29.0ms (0.3%)

Memory: -5.7MiB live, 40.7MiB allocated; 5ms collecting garbage
Compiler: Compiled 2 395 to 1 186 computations (50.5% saved)

prune14.0ms (0.2%)

Memory

-25.0MiB live, 21.6MiB allocated; 2ms collecting garbage

Pruning

15 alts after pruning (9 fresh and 6 done)

	Pruned	Kept	Total
New	264	8	272
Fresh	2	1	3
Picked	0	5	5
Done	0	1	1
Total	266	15	281

Accuracy

99.2%

Counts

281 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	52.1%	(-.f64 (log.f64 (sinh.f64 x)) (log.f64 x))
✓	52.3%	(neg.f64 (log.f64 (/.f64 x (sinh.f64 x))))
✓	52.4%	(log.f64 (/.f64 (sinh.f64 x) x))
▶	52.3%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))))
✓	52.4%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))))
✓	52.3%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))
	1.6%	(log.f64 #s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))))
✓	51.3%	(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))
	98.5%	#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
▶	98.8%	#s(approx (log (/ (sinh x) x)) (fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x))))
▶	98.8%	#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) (*.f64 x x)))
✓	98.7%	#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
▶	98.4%	#s(approx (log (/ (sinh x) x)) (.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x))
	35.1%	#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))) x))
	26.4%	#s(approx (log (/ (sinh x) x)) #s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64)))))

Compiler

Compiled 308 to 295 computations (4.2% saved)

series96.0ms (1.2%)

Memory

11.2MiB live, 107.6MiB allocated; 19ms collecting garbage

Counts

25 → 43

Calls

Call 1

Inputs
#s(approx (log (/ (sinh x) x)) (fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x))))
(fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x)))
(*.f64 x x)
x
#s(literal 1/6 binary64)
(.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x))
(.f64 (.f64 x x) #s(literal -1/180 binary64))
#s(literal -1/180 binary64)
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x))
(.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x)
(.f64 #s(approx (+ ( -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x)
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64))
#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) (*.f64 x x)))
(.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) (*.f64 x x))
(fma.f64 (*.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)))
(fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))
(fma.f64 (*.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64))
#s(literal 1/120 binary64)
#s(literal 1 binary64)
(-.f64 (log.f64 (sinh.f64 x)) (log.f64 x))
(log.f64 (sinh.f64 x))
(sinh.f64 x)
(log.f64 x)

Outputs
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* 1/6 (pow x 2))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* 1/2835 (pow x 2)) 1/180))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* (pow x 2) (+ 1/2835 (* -1/37800 (pow x 2)))) 1/180))))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx x #s(hole binary64 x))
#s(approx (* (* (* x x) -1/180) (* x x)) #s(hole binary64 (* -1/180 (pow x 4))))
#s(approx (* (* x x) -1/180) #s(hole binary64 (* -1/180 (pow x 2))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* 1/6 x)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* x (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 1/6))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 (+ 1/6 (* -1/180 (pow x 2)))))
#s(approx (/ (sinh x) x) #s(hole binary64 1))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* 1/6 (pow x 2)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2)))))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2)))))))))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 (+ 1/6 (* 1/120 (pow x 2)))))
#s(approx (log (sinh x)) #s(hole binary64 (log x)))
#s(approx (log (sinh x)) #s(hole binary64 (+ (log x) (* 1/6 (pow x 2)))))
#s(approx (log (sinh x)) #s(hole binary64 (+ (log x) (* (pow x 2) (+ 1/6 (* -1/180 (pow x 2)))))))
#s(approx (log (sinh x)) #s(hole binary64 (+ (log x) (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* 1/2835 (pow x 2)) 1/180)))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* 1/6 (pow x 2))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2))))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2))))))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (log (/ 1 x)))))
#s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) #s(hole binary64 (* (pow x 4) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1/180 (pow x 3))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* (pow x 3) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 (* (pow x 2) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (/ (sinh x) x) #s(hole binary64 (* 1/2 (/ (- (exp x) (/ 1 (exp x))) x))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* 1/120 (pow x 4))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* (pow x 4) (+ 1/120 (* 1/6 (/ 1 (pow x 2)))))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* (pow x 4) (+ 1/120 (+ (* 1/6 (/ 1 (pow x 2))) (/ 1 (pow x 4)))))))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 (* 1/120 (pow x 2))))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 (* (pow x 2) (+ 1/120 (* 1/6 (/ 1 (pow x 2)))))))
#s(approx (- (log (sinh x)) (log x)) #s(hole binary64 (- (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ 1 x))))))
#s(approx (log (sinh x)) #s(hole binary64 (log (* 1/2 (- (exp x) (/ 1 (exp x)))))))
#s(approx (sinh x) #s(hole binary64 (* 1/2 (- (exp x) (/ 1 (exp x))))))
#s(approx (log x) #s(hole binary64 (* -1 (log (/ 1 x)))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* -1/2 (- (exp x) (/ 1 (exp x))))) (log (/ -1 x)))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1 (* (pow x 3) (- 1/180 (* 1/6 (/ 1 (pow x 2))))))))
#s(approx (- (log (sinh x)) (log x)) #s(hole binary64 (- (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (+ (log -1) (* -1 (log (/ -1 x)))))))
#s(approx (log x) #s(hole binary64 (+ (log -1) (* -1 (log (/ -1 x))))))

Calls

3 calls:

Time	Variable		Point	Expression
57.0ms	x	@	-inf	((log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* x x) x 1/6 (* (* (* x x) -1/180) (* x x)) (* (* x x) -1/180) -1/180 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) (log (/ (sinh x) x)) (* (+ (* (* x x) -1/180) 1/6) (* x x)) (+ (* (* x x) -1/180) 1/6) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) 1/120 1 (- (log (sinh x)) (log x)) (log (sinh x)) (sinh x) (log x))
26.0ms	x	@	inf	((log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* x x) x 1/6 (* (* (* x x) -1/180) (* x x)) (* (* x x) -1/180) -1/180 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) (log (/ (sinh x) x)) (* (+ (* (* x x) -1/180) 1/6) (* x x)) (+ (* (* x x) -1/180) 1/6) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) 1/120 1 (- (log (sinh x)) (log x)) (log (sinh x)) (sinh x) (log x))
13.0ms	x	@	0	((log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* x x) x 1/6 (* (* (* x x) -1/180) (* x x)) (* (* x x) -1/180) -1/180 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) (log (/ (sinh x) x)) (* (+ (* (* x x) -1/180) 1/6) (* x x)) (+ (* (* x x) -1/180) 1/6) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) 1/120 1 (- (log (sinh x)) (log x)) (log (sinh x)) (sinh x) (log x))

Time

Variable

Point

Expression

57.0ms

-inf

((log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* x x) x 1/6 (* (* (* x x) -1/180) (* x x)) (* (* x x) -1/180) -1/180 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) (log (/ (sinh x) x)) (* (+ (* (* x x) -1/180) 1/6) (* x x)) (+ (* (* x x) -1/180) 1/6) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) 1/120 1 (- (log (sinh x)) (log x)) (log (sinh x)) (sinh x) (log x))

26.0ms

inf

((log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* x x) x 1/6 (* (* (* x x) -1/180) (* x x)) (* (* x x) -1/180) -1/180 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) (log (/ (sinh x) x)) (* (+ (* (* x x) -1/180) 1/6) (* x x)) (+ (* (* x x) -1/180) 1/6) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) 1/120 1 (- (log (sinh x)) (log x)) (log (sinh x)) (sinh x) (log x))

13.0ms

((log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* x x) x 1/6 (* (* (* x x) -1/180) (* x x)) (* (* x x) -1/180) -1/180 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (+ (* -1/180 (* x x)) 1/6) (log (/ (sinh x) x)) (* (+ (* (* x x) -1/180) 1/6) (* x x)) (+ (* (* x x) -1/180) 1/6) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) 1/120 1 (- (log (sinh x)) (log x)) (log (sinh x)) (sinh x) (log x))

rewrite73.0ms (0.9%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	173	936
0	200	865
0	1030	841
1	2593	841

Stop Event

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

Counts

68 → 136

Calls

Call 1

Inputs
#s(approx (log (/ (sinh x) x)) (fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x))))
(fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x)))
(*.f64 x x)
x
#s(literal 1/6 binary64)
(.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x))
(.f64 (.f64 x x) #s(literal -1/180 binary64))
#s(literal -1/180 binary64)
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x))
(.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x)
(.f64 #s(approx (+ ( -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x)
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64))
#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) (*.f64 x x)))
(.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) (*.f64 x x))
(fma.f64 (*.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)))
(fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))
(fma.f64 (*.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64))
#s(literal 1/120 binary64)
#s(literal 1 binary64)
(-.f64 (log.f64 (sinh.f64 x)) (log.f64 x))
(log.f64 (sinh.f64 x))
(sinh.f64 x)
(log.f64 x)
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* 1/6 (pow x 2))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* 1/2835 (pow x 2)) 1/180))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* (pow x 2) (+ 1/2835 (* -1/37800 (pow x 2)))) 1/180))))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx x #s(hole binary64 x))
#s(approx (* (* (* x x) -1/180) (* x x)) #s(hole binary64 (* -1/180 (pow x 4))))
#s(approx (* (* x x) -1/180) #s(hole binary64 (* -1/180 (pow x 2))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* 1/6 x)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* x (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 1/6))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 (+ 1/6 (* -1/180 (pow x 2)))))
#s(approx (/ (sinh x) x) #s(hole binary64 1))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* 1/6 (pow x 2)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2)))))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2)))))))))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 (+ 1/6 (* 1/120 (pow x 2)))))
#s(approx (log (sinh x)) #s(hole binary64 (log x)))
#s(approx (log (sinh x)) #s(hole binary64 (+ (log x) (* 1/6 (pow x 2)))))
#s(approx (log (sinh x)) #s(hole binary64 (+ (log x) (* (pow x 2) (+ 1/6 (* -1/180 (pow x 2)))))))
#s(approx (log (sinh x)) #s(hole binary64 (+ (log x) (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* 1/2835 (pow x 2)) 1/180)))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* 1/6 (pow x 2))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2))))))))
#s(approx (sinh x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2))))))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (log (/ 1 x)))))
#s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) #s(hole binary64 (* (pow x 4) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1/180 (pow x 3))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* (pow x 3) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(hole binary64 (* (pow x 2) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (/ (sinh x) x) #s(hole binary64 (* 1/2 (/ (- (exp x) (/ 1 (exp x))) x))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* 1/120 (pow x 4))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* (pow x 4) (+ 1/120 (* 1/6 (/ 1 (pow x 2)))))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* (pow x 4) (+ 1/120 (+ (* 1/6 (/ 1 (pow x 2))) (/ 1 (pow x 4)))))))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 (* 1/120 (pow x 2))))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 (* (pow x 2) (+ 1/120 (* 1/6 (/ 1 (pow x 2)))))))
#s(approx (- (log (sinh x)) (log x)) #s(hole binary64 (- (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ 1 x))))))
#s(approx (log (sinh x)) #s(hole binary64 (log (* 1/2 (- (exp x) (/ 1 (exp x)))))))
#s(approx (sinh x) #s(hole binary64 (* 1/2 (- (exp x) (/ 1 (exp x))))))
#s(approx (log x) #s(hole binary64 (* -1 (log (/ 1 x)))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* -1/2 (- (exp x) (/ 1 (exp x))))) (log (/ -1 x)))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1 (* (pow x 3) (- 1/180 (* 1/6 (/ 1 (pow x 2))))))))
#s(approx (- (log (sinh x)) (log x)) #s(hole binary64 (- (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (+ (log -1) (* -1 (log (/ -1 x)))))))
#s(approx (log x) #s(hole binary64 (+ (log -1) (* -1 (log (/ -1 x))))))

Outputs
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
(.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x)
(.f64 (fma.f64 #s(literal -1/180 binary64) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x))
(.f64 (.f64 x x) (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)))
(fma.f64 (.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) x) x (.f64 #s(literal 1/6 binary64) (*.f64 x x)))
(fma.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) (.f64 x x) (.f64 #s(literal 1/6 binary64) (*.f64 x x)))
(fma.f64 #s(literal 1/6 binary64) (.f64 x x) (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (*.f64 x x)) x) x))
(fma.f64 (.f64 x x) (.f64 #s(literal -1/180 binary64) (.f64 x x)) (.f64 #s(literal 1/6 binary64) (*.f64 x x)))
(fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (*.f64 x x)) x) x))
(fma.f64 x (.f64 #s(literal 1/6 binary64) x) (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (*.f64 x x)) x) x))
(-.f64 (.f64 #s(literal 1/6 binary64) (.f64 x x)) (.f64 (neg.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x))) (.f64 x x)))
(-.f64 (.f64 #s(literal 1/6 binary64) (.f64 x x)) (neg.f64 (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) x) x)))
(+.f64 (.f64 #s(literal 1/6 binary64) (.f64 x x)) (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) x) x))
(+.f64 (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) x) x) (.f64 #s(literal 1/6 binary64) (.f64 x x)))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 x x)
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(fabs.f64 (*.f64 x x))
x
#s(literal 1/6 binary64)
(.f64 (.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) x) x)
(.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) (.f64 x x))
(.f64 (.f64 x x) (.f64 #s(literal -1/180 binary64) (.f64 x x)))
(.f64 (.f64 #s(literal -1/180 binary64) x) x)
(.f64 #s(literal -1/180 binary64) (.f64 x x))
(.f64 (.f64 x x) #s(literal -1/180 binary64))
(.f64 x (.f64 x #s(literal -1/180 binary64)))
#s(literal -1/180 binary64)
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x))
(.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x)
(.f64 #s(approx (+ ( -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) (*.f64 x x))
(.f64 x (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x))
(.f64 #s(approx (+ ( -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x)
(.f64 x #s(approx (+ ( -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
(.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x)
(.f64 (fma.f64 #s(literal -1/180 binary64) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x))
(.f64 (.f64 x x) (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)))
(fma.f64 (.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) x) x (.f64 #s(literal 1/6 binary64) (*.f64 x x)))
(fma.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) (.f64 x x) (.f64 #s(literal 1/6 binary64) (*.f64 x x)))
(fma.f64 #s(literal 1/6 binary64) (.f64 x x) (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (*.f64 x x)) x) x))
(fma.f64 (.f64 x x) (.f64 #s(literal -1/180 binary64) (.f64 x x)) (.f64 #s(literal 1/6 binary64) (*.f64 x x)))
(fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (*.f64 x x)) x) x))
(fma.f64 x (.f64 #s(literal 1/6 binary64) x) (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (*.f64 x x)) x) x))
(-.f64 (.f64 #s(literal 1/6 binary64) (.f64 x x)) (.f64 (neg.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x))) (.f64 x x)))
(-.f64 (.f64 #s(literal 1/6 binary64) (.f64 x x)) (neg.f64 (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) x) x)))
(+.f64 (.f64 #s(literal 1/6 binary64) (.f64 x x)) (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) x) x))
(+.f64 (.f64 (.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) x) x) (.f64 #s(literal 1/6 binary64) (.f64 x x)))
(fma.f64 (*.f64 #s(literal -1/180 binary64) x) x #s(literal 1/6 binary64))
(fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64))
(fma.f64 (*.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64))
(fma.f64 x (*.f64 x #s(literal -1/180 binary64)) #s(literal 1/6 binary64))
(-.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) #s(literal -1/6 binary64))
(-.f64 #s(literal 1/6 binary64) (neg.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x))))
(-.f64 #s(literal 1/6 binary64) (.f64 #s(literal 1/180 binary64) (.f64 x x)))
(+.f64 (.f64 #s(literal -1/180 binary64) (.f64 x x)) #s(literal 1/6 binary64))
(+.f64 #s(literal 1/6 binary64) (.f64 #s(literal -1/180 binary64) (.f64 x x)))
(log.f64 (fabs.f64 #s(approx (/ (sinh x) x) (fma.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)))))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)))
(fma.f64 (.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))
(fma.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))
(fma.f64 (.f64 x x) (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) #s(literal 1 binary64))
(-.f64 (.f64 (.f64 (fma.f64 #s(literal 1/120 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (.f64 x x)) (fma.f64 #s(literal 1/120 binary64) (*.f64 x x) #s(literal 1/6 binary64))))
(-.f64 #s(literal 1 binary64) (neg.f64 (.f64 (.f64 (fma.f64 #s(literal 1/120 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x)))
(+.f64 (.f64 (.f64 (fma.f64 #s(literal 1/120 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 (.f64 (fma.f64 #s(literal 1/120 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
(fma.f64 #s(literal 1/120 binary64) (*.f64 x x) #s(literal 1/6 binary64))
(fma.f64 (*.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64))
(fma.f64 x (*.f64 x #s(literal 1/120 binary64)) #s(literal 1/6 binary64))
(-.f64 (.f64 #s(literal 1/120 binary64) (.f64 x x)) #s(literal -1/6 binary64))
(-.f64 #s(literal 1/6 binary64) (.f64 #s(literal -1/120 binary64) (.f64 x x)))
(-.f64 #s(literal 1/6 binary64) (neg.f64 (.f64 #s(literal 1/120 binary64) (.f64 x x))))
(+.f64 (.f64 #s(literal 1/120 binary64) (.f64 x x)) #s(literal 1/6 binary64))
(+.f64 #s(literal 1/6 binary64) (.f64 #s(literal 1/120 binary64) (.f64 x x)))
#s(literal 1/120 binary64)
#s(literal 1 binary64)
(neg.f64 (-.f64 (log.f64 x) (log.f64 (sinh.f64 x))))
(-.f64 (log.f64 (sinh.f64 x)) (log.f64 x))
(+.f64 (log.f64 (sinh.f64 x)) (neg.f64 (log.f64 x)))
(log.f64 (fabs.f64 (/.f64 (sinh.f64 x) x)))
(log.f64 (/.f64 (sinh.f64 x) x))
(log.f64 (fabs.f64 (sinh.f64 x)))
(log.f64 (sinh.f64 x))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
(sinh.f64 x)
(log.f64 (fabs.f64 x))
(log.f64 x)
#s(approx (log (/ (sinh x) x)) (.f64 #s(literal 1/6 binary64) (.f64 x x)))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (fma.f64 #s(literal 1/2835 binary64) (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x)))
#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal -1/37800 binary64) (.f64 x x) #s(literal 1/2835 binary64)) (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x)))
#s(approx (* x x) (*.f64 x x))
#s(approx x x)
#s(approx (* (* (* x x) -1/180) (* x x)) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1/180 binary64)))
#s(approx (* (* x x) -1/180) (.f64 #s(literal -1/180 binary64) (.f64 x x)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (*.f64 #s(literal 1/6 binary64) x))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (fma.f64 #s(literal -1/180 binary64) (.f64 x x) #s(literal 1/6 binary64)) x))
#s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64))
#s(approx (+ (* -1/180 (* x x)) 1/6) (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)))
#s(approx (/ (sinh x) x) #s(literal 1 binary64))
#s(approx (/ (sinh x) x) (fma.f64 #s(literal 1/6 binary64) (*.f64 x x) #s(literal 1 binary64)))
#s(approx (/ (sinh x) x) (fma.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)))
#s(approx (/ (sinh x) x) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x) #s(literal 1 binary64)))
#s(approx (+ (* (* x x) 1/120) 1/6) (fma.f64 #s(literal 1/120 binary64) (*.f64 x x) #s(literal 1/6 binary64)))
#s(approx (log (sinh x)) (log.f64 x))
#s(approx (log (sinh x)) (fma.f64 #s(literal 1/6 binary64) (*.f64 x x) (log.f64 x)))
#s(approx (log (sinh x)) (fma.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (.f64 x x) #s(literal 1/6 binary64)) x) x (log.f64 x)))
#s(approx (log (sinh x)) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/2835 binary64) (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x) (log.f64 x)))
#s(approx (sinh x) (.f64 (fma.f64 #s(literal 1/6 binary64) (.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sinh x) (.f64 (fma.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sinh x) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)) x))
#s(approx (log (/ (sinh x) x)) (log.f64 (.f64 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) x))))
#s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (*.f64 x x) x) #s(literal -1/180 binary64)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))
#s(approx (+ (* -1/180 (* x x)) 1/6) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (*.f64 x x)))
#s(approx (/ (sinh x) x) (*.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) x) #s(literal 1/2 binary64)))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/120 binary64)))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (.f64 (pow.f64 x #s(literal 4 binary64)) (+.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/120 binary64))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (.f64 (+.f64 (+.f64 (pow.f64 x #s(literal -4 binary64)) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) #s(literal 1/120 binary64)) (pow.f64 x #s(literal 4 binary64))))
#s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x)))
#s(approx (+ (* (* x x) 1/120) 1/6) (.f64 (+.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/120 binary64)) (*.f64 x x)))
#s(approx (log (/ (sinh x) x)) (log.f64 (.f64 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) x))))
#s(approx (log (sinh x)) (log.f64 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64))))
#s(approx (sinh x) (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64)))
#s(approx (log x) (neg.f64 (neg.f64 (log.f64 x))))
#s(approx (log (/ (sinh x) x)) (log.f64 (.f64 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) x))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (neg.f64 (.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (.f64 (.f64 x x) x))))
#s(approx (log (/ (sinh x) x)) (-.f64 (-.f64 (log.f64 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64))) #s(literal 0 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) x)))))
#s(approx (log x) (+.f64 #s(literal 0 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) x)))))

eval25.0ms (0.3%)

Memory: -29.8MiB live, 14.2MiB allocated; 6ms collecting garbage
Compiler: Compiled 946 to 449 computations (52.5% saved)

prune7.0ms (0.1%)

Memory

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

Pruning

16 alts after pruning (5 fresh and 11 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	1	3	4
Picked	0	5	5
Done	0	6	6
Total	113	16	129

Accuracy

99.2%

Counts

129 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	52.1%	(-.f64 (log.f64 (sinh.f64 x)) (log.f64 x))
✓	52.3%	(neg.f64 (log.f64 (/.f64 x (sinh.f64 x))))
✓	52.4%	(log.f64 (/.f64 (sinh.f64 x) x))
✓	52.3%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))))
✓	52.4%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))))
✓	52.3%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))
▶	51.4%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64))))
▶	1.6%	(log.f64 #s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))))
✓	51.3%	(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))
▶	98.5%	#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
✓	98.8%	#s(approx (log (/ (sinh x) x)) (fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x))))
✓	98.8%	#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) (*.f64 x x)))
✓	98.7%	#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
✓	98.4%	#s(approx (log (/ (sinh x) x)) (.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x))
▶	35.1%	#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))) x))
▶	26.4%	#s(approx (log (/ (sinh x) x)) #s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64)))))

Compiler

Compiled 291 to 276 computations (5.2% saved)

series45.0ms (0.5%)

Memory

28.1MiB live, 73.3MiB allocated; 4ms collecting garbage

Counts

32 → 40

Calls

Call 1

Inputs
#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
(.f64 (.f64 x x) #s(literal 1/6 binary64))
(*.f64 x x)
x
#s(literal 1/6 binary64)
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64)))
(fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64))
#s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x)))
(.f64 #s(literal 1/120 binary64) (.f64 x x))
#s(literal 1/120 binary64)
#s(literal 1 binary64)
#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))) x))
(.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))) x)
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))
(.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))
(.f64 (.f64 x x) x)
(-.f64 (/.f64 #s(literal 1/6 binary64) (*.f64 x x)) #s(literal 1/180 binary64))
(/.f64 #s(literal 1/6 binary64) (*.f64 x x))
#s(literal 1/180 binary64)
(log.f64 #s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))))
#s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))
(*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64))
(pow.f64 x #s(literal 6 binary64))
#s(literal 6 binary64)
#s(literal 1/5040 binary64)
#s(approx (log (/ (sinh x) x)) #s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64)))))
#s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64))))
(.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64)))
(pow.f64 x #s(literal 4 binary64))
#s(literal 4 binary64)

Outputs
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* 1/6 (pow x 2))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* (pow x 2) (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* 1/2835 (pow x 2)) 1/180))))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* (pow x 2) (+ 1/2835 (* -1/37800 (pow x 2)))) 1/180))))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (sinh x) x) #s(hole binary64 1))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* 1/6 (pow x 2)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2)))))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2)))))))))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 1/6))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 (+ 1/6 (* 1/120 (pow x 2)))))
#s(approx (* 1/120 (* x x)) #s(hole binary64 (* 1/120 (pow x 2))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* 1/6 x)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* x (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (* (* x x) x) #s(hole binary64 (pow x 3)))
#s(approx (- (/ 1/6 (* x x)) 1/180) #s(hole binary64 (/ 1/6 (pow x 2))))
#s(approx (- (/ 1/6 (* x x)) 1/180) #s(hole binary64 (/ (+ 1/6 (* -1/180 (pow x 2))) (pow x 2))))
#s(approx (* (pow x 6) 1/5040) #s(hole binary64 (* 1/5040 (pow x 6))))
#s(approx (pow x 6) #s(hole binary64 (pow x 6)))
#s(approx (pow x 4) #s(hole binary64 (pow x 4)))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* -1 (+ (log (/ 2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ 1 x)))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (log (/ 1 x)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (* 1/2 (/ (- (exp x) (/ 1 (exp x))) x))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* 1/120 (pow x 4))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* (pow x 4) (+ 1/120 (* 1/6 (/ 1 (pow x 2)))))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* (pow x 4) (+ 1/120 (+ (* 1/6 (/ 1 (pow x 2))) (/ 1 (pow x 4)))))))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 (* (pow x 2) (+ 1/120 (* 1/6 (/ 1 (pow x 2)))))))
#s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) #s(hole binary64 (* -1/180 (pow x 4))))
#s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) #s(hole binary64 (* (pow x 4) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1/180 (pow x 3))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* (pow x 3) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (- (/ 1/6 (* x x)) 1/180) #s(hole binary64 -1/180))
#s(approx (- (/ 1/6 (* x x)) 1/180) #s(hole binary64 (- (* 1/6 (/ 1 (pow x 2))) 1/180)))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (* 1/120 (/ 1 (pow x 2)))))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (* 1/120 (/ 1 (pow x 2))))))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (+ (* 1/120 (/ 1 (pow x 2))) (/ 1 (pow x 6))))))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* -1 (+ (log (/ -2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ -1 x)))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* -1/2 (- (exp x) (/ 1 (exp x))))) (log (/ -1 x)))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1 (* (pow x 3) (- 1/180 (* 1/6 (/ 1 (pow x 2))))))))

Calls

3 calls:

Time	Variable		Point	Expression
22.0ms	x	@	inf	((neg (log (/ x (sinh x)))) (* (* x x) 1/6) (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) (* 1/120 (* x x)) 1/120 1 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (* (* (* x x) x) (- (/ 1/6 (* x x)) 1/180)) (* (* x x) x) (- (/ 1/6 (* x x)) 1/180) (/ 1/6 (* x x)) 1/180 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (pow x 6) 1/5040) (pow x 6) 6 1/5040 (log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* (- (/ 1/6 (* x x)) 1/180) (pow x 4)) (pow x 4) 4)
18.0ms	x	@	-inf	((neg (log (/ x (sinh x)))) (* (* x x) 1/6) (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) (* 1/120 (* x x)) 1/120 1 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (* (* (* x x) x) (- (/ 1/6 (* x x)) 1/180)) (* (* x x) x) (- (/ 1/6 (* x x)) 1/180) (/ 1/6 (* x x)) 1/180 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (pow x 6) 1/5040) (pow x 6) 6 1/5040 (log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* (- (/ 1/6 (* x x)) 1/180) (pow x 4)) (pow x 4) 4)
4.0ms	x	@	0	((neg (log (/ x (sinh x)))) (* (* x x) 1/6) (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) (* 1/120 (* x x)) 1/120 1 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (* (* (* x x) x) (- (/ 1/6 (* x x)) 1/180)) (* (* x x) x) (- (/ 1/6 (* x x)) 1/180) (/ 1/6 (* x x)) 1/180 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (pow x 6) 1/5040) (pow x 6) 6 1/5040 (log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* (- (/ 1/6 (* x x)) 1/180) (pow x 4)) (pow x 4) 4)

Time

Variable

Point

Expression

22.0ms

inf

((neg (log (/ x (sinh x)))) (* (* x x) 1/6) (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) (* 1/120 (* x x)) 1/120 1 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (* (* (* x x) x) (- (/ 1/6 (* x x)) 1/180)) (* (* x x) x) (- (/ 1/6 (* x x)) 1/180) (/ 1/6 (* x x)) 1/180 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (pow x 6) 1/5040) (pow x 6) 6 1/5040 (log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* (- (/ 1/6 (* x x)) 1/180) (pow x 4)) (pow x 4) 4)

18.0ms

-inf

((neg (log (/ x (sinh x)))) (* (* x x) 1/6) (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) (* 1/120 (* x x)) 1/120 1 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (* (* (* x x) x) (- (/ 1/6 (* x x)) 1/180)) (* (* x x) x) (- (/ 1/6 (* x x)) 1/180) (/ 1/6 (* x x)) 1/180 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (pow x 6) 1/5040) (pow x 6) 6 1/5040 (log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* (- (/ 1/6 (* x x)) 1/180) (pow x 4)) (pow x 4) 4)

4.0ms

((neg (log (/ x (sinh x)))) (* (* x x) 1/6) (* x x) x 1/6 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (+ (* (* x x) 1/120) 1/6) (* 1/120 (* x x)) 1/120 1 (log (/ (sinh x) x)) (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (* (+ (* -1/180 (* x x)) 1/6) x) (* (* (* x x) x) (- (/ 1/6 (* x x)) 1/180)) (* (* x x) x) (- (/ 1/6 (* x x)) 1/180) (/ 1/6 (* x x)) 1/180 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (* (pow x 6) 1/5040) (pow x 6) 6 1/5040 (log (/ (sinh x) x)) (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (* (- (/ 1/6 (* x x)) 1/180) (pow x 4)) (pow x 4) 4)

rewrite214.0ms (2.6%)

Memory

-28.7MiB live, 157.0MiB allocated; 25ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	203	1133
0	231	1074
1	1229	1033
0	8806	952
1	26113	952

Stop Event

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

Counts

72 → 197

Calls

Call 1

Inputs
#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
(.f64 (.f64 x x) #s(literal 1/6 binary64))
(*.f64 x x)
x
#s(literal 1/6 binary64)
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64)))
(fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64))
#s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x)))
(.f64 #s(literal 1/120 binary64) (.f64 x x))
#s(literal 1/120 binary64)
#s(literal 1 binary64)
#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))) x))
(.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))) x)
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))
(.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))
(.f64 (.f64 x x) x)
(-.f64 (/.f64 #s(literal 1/6 binary64) (*.f64 x x)) #s(literal 1/180 binary64))
(/.f64 #s(literal 1/6 binary64) (*.f64 x x))
#s(literal 1/180 binary64)
(log.f64 #s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))))
#s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))
(*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64))
(pow.f64 x #s(literal 6 binary64))
#s(literal 6 binary64)
#s(literal 1/5040 binary64)
#s(approx (log (/ (sinh x) x)) #s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64)))))
#s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64))))
(.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64)))
(pow.f64 x #s(literal 4 binary64))
#s(literal 4 binary64)
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* 1/6 (pow x 2))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* (pow x 2) (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* 1/2835 (pow x 2)) 1/180))))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* (pow x 2) (+ 1/6 (* (pow x 2) (- (* (pow x 2) (+ 1/2835 (* -1/37800 (pow x 2)))) 1/180))))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (sinh x) x) #s(hole binary64 1))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* 1/6 (pow x 2)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2)))))))
#s(approx (/ (sinh x) x) #s(hole binary64 (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2)))))))))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 1/6))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 (+ 1/6 (* 1/120 (pow x 2)))))
#s(approx (* 1/120 (* x x)) #s(hole binary64 (* 1/120 (pow x 2))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* 1/6 x)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* x (+ 1/6 (* -1/180 (pow x 2))))))
#s(approx (* (* x x) x) #s(hole binary64 (pow x 3)))
#s(approx (- (/ 1/6 (* x x)) 1/180) #s(hole binary64 (/ 1/6 (pow x 2))))
#s(approx (- (/ 1/6 (* x x)) 1/180) #s(hole binary64 (/ (+ 1/6 (* -1/180 (pow x 2))) (pow x 2))))
#s(approx (* (pow x 6) 1/5040) #s(hole binary64 (* 1/5040 (pow x 6))))
#s(approx (pow x 6) #s(hole binary64 (pow x 6)))
#s(approx (pow x 4) #s(hole binary64 (pow x 4)))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* -1 (+ (log (/ 2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ 1 x)))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* 1/2 (- (exp x) (/ 1 (exp x))))) (log (/ 1 x)))))
#s(approx (/ (sinh x) x) #s(hole binary64 (* 1/2 (/ (- (exp x) (/ 1 (exp x))) x))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* 1/120 (pow x 4))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* (pow x 4) (+ 1/120 (* 1/6 (/ 1 (pow x 2)))))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) #s(hole binary64 (* (pow x 4) (+ 1/120 (+ (* 1/6 (/ 1 (pow x 2))) (/ 1 (pow x 4)))))))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(hole binary64 (* (pow x 2) (+ 1/120 (* 1/6 (/ 1 (pow x 2)))))))
#s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) #s(hole binary64 (* -1/180 (pow x 4))))
#s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) #s(hole binary64 (* (pow x 4) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1/180 (pow x 3))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* (pow x 3) (- (* 1/6 (/ 1 (pow x 2))) 1/180))))
#s(approx (- (/ 1/6 (* x x)) 1/180) #s(hole binary64 -1/180))
#s(approx (- (/ 1/6 (* x x)) 1/180) #s(hole binary64 (- (* 1/6 (/ 1 (pow x 2))) 1/180)))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (* 1/120 (/ 1 (pow x 2)))))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (* 1/120 (/ 1 (pow x 2))))))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) #s(hole binary64 (* (pow x 6) (+ 1/5040 (+ (/ 1/6 (pow x 4)) (+ (* 1/120 (/ 1 (pow x 2))) (/ 1 (pow x 6))))))))
#s(approx (neg (log (/ x (sinh x)))) #s(hole binary64 (* -1 (+ (log (/ -2 (- (exp x) (/ 1 (exp x))))) (* -1 (log (/ -1 x)))))))
#s(approx (log (/ (sinh x) x)) #s(hole binary64 (+ (log (* -1/2 (- (exp x) (/ 1 (exp x))))) (log (/ -1 x)))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) #s(hole binary64 (* -1 (* (pow x 3) (- 1/180 (* 1/6 (/ 1 (pow x 2))))))))

Outputs
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) #s(literal 1/6 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) (.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) #s(literal 1/6 binary64)))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) #s(literal 1/6 binary64)))
(.f64 #s(literal 1 binary64) (.f64 (*.f64 x x) #s(literal 1/6 binary64)))
(.f64 (.f64 x x) #s(literal 1/6 binary64))
(.f64 #s(literal 1/6 binary64) (.f64 #s(literal 1 binary64) (*.f64 x x)))
(.f64 #s(literal 1/6 binary64) (.f64 x x))
(.f64 x (.f64 #s(literal 1/6 binary64) x))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 (*.f64 x x) #s(literal 1/6 binary64))) #s(literal 2 binary64))
(neg.f64 (.f64 #s(literal -1 binary64) (.f64 (*.f64 x x) #s(literal 1/6 binary64))))
(*.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))) (neg.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(*.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(*.f64 (fabs.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))) (fabs.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 x x)
(pow.f64 (fabs.f64 (fabs.f64 x)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 x)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 x)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) #s(literal 2 binary64))
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 x) x))
(sqrt.f64 (.f64 (.f64 x x) (*.f64 x x)))
(fabs.f64 (*.f64 (neg.f64 x) x))
(fabs.f64 (*.f64 x x))
x
#s(literal 1/6 binary64)
(log.f64 (fabs.f64 (fabs.f64 #s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64))))))
(log.f64 (fabs.f64 #s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64)))))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64))))
#s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) (.f64 #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x))))
(fma.f64 (.f64 #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) x) (*.f64 x #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) x) x #s(literal 1 binary64))
(fma.f64 (fabs.f64 x) (.f64 (fabs.f64 x) #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x)))) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) (.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x)))) #s(literal 1 binary64))
(fma.f64 (neg.f64 x) (.f64 (neg.f64 x) #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x)))) #s(literal 1 binary64))
(fma.f64 (.f64 #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x)) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (.f64 (.f64 x x) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64))
(fma.f64 (.f64 x x) (.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 x x) #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) #s(literal 1 binary64))
(fma.f64 x (.f64 x #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x)))) #s(literal 1 binary64))
(-.f64 (.f64 #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x)) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) x)) x))
(-.f64 #s(literal 1 binary64) (.f64 (neg.f64 #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x)))) (*.f64 x x)))
(-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 x) x) #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x)))))
(-.f64 #s(literal 1 binary64) (neg.f64 (.f64 #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x))))
(+.f64 (.f64 #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 #s(approx (+ ( (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x)))
#s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x)))
(.f64 (.f64 #s(literal 1/120 binary64) x) x)
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) #s(literal 1/120 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) (.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) #s(literal 1/120 binary64)))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) #s(literal 1/120 binary64)))
(.f64 #s(literal 1/120 binary64) (.f64 #s(literal 1 binary64) (*.f64 x x)))
(.f64 #s(literal 1/120 binary64) (.f64 x x))
(.f64 (.f64 x x) #s(literal 1/120 binary64))
(.f64 x (.f64 x #s(literal 1/120 binary64)))
#s(literal 1/120 binary64)
#s(literal 1 binary64)
#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))) x))
(.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))) x)
(.f64 x #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))
(.f64 (neg.f64 (.f64 (.f64 x x) x)) (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x))))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) (.f64 x (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))))
(.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) (.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) (.f64 x (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) (.f64 x (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))))
(.f64 (.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (.f64 (*.f64 x x) x)) #s(literal -1 binary64))
(.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (.f64 (.f64 (*.f64 x x) x) #s(literal -1 binary64)))
(.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (neg.f64 (.f64 (.f64 x x) x)))
(.f64 #s(literal -1 binary64) (.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (.f64 (*.f64 x x) x)))
(.f64 (.f64 (.f64 x x) x) (.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (*.f64 x x))) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))
(.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (.f64 (.f64 x x) x))
(.f64 (.f64 x x) (.f64 x (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))
(.f64 x (.f64 (.f64 x x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))
(.f64 x (.f64 x (.f64 x (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))))
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (.f64 (*.f64 x x) x))))
(neg.f64 (.f64 (neg.f64 (.f64 (.f64 x x) x)) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))
(neg.f64 (.f64 (.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (.f64 (*.f64 x x) x)) #s(literal 1 binary64)))
(neg.f64 (.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (.f64 (.f64 x x) x)))
(fma.f64 (neg.f64 (.f64 (.f64 x x) x)) #s(literal 1/180 binary64) (.f64 (neg.f64 (.f64 (.f64 x x) x)) (/.f64 #s(literal -1/6 binary64) (.f64 x x))))
(fma.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) (.f64 (.f64 x x) x) (.f64 (.f64 (.f64 x x) x) #s(literal -1/180 binary64)))
(fma.f64 (.f64 (.f64 x x) x) (/.f64 #s(literal 1/6 binary64) (.f64 x x)) (.f64 (.f64 (.f64 x x) x) #s(literal -1/180 binary64)))
(fma.f64 #s(literal 1/180 binary64) (neg.f64 (.f64 (.f64 x x) x)) (.f64 (/.f64 #s(literal -1/6 binary64) (.f64 x x)) (neg.f64 (.f64 (.f64 x x) x))))
(+.f64 (.f64 (neg.f64 (.f64 (.f64 x x) x)) #s(literal 1/180 binary64)) (.f64 (neg.f64 (.f64 (.f64 x x) x)) (/.f64 #s(literal -1/6 binary64) (*.f64 x x))))
(+.f64 (.f64 (.f64 (.f64 x x) x) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (.f64 (.f64 (*.f64 x x) x) #s(literal -1/180 binary64)))
(+.f64 (.f64 #s(literal 1/180 binary64) (neg.f64 (.f64 (.f64 x x) x))) (.f64 (/.f64 #s(literal -1/6 binary64) (.f64 x x)) (neg.f64 (.f64 (*.f64 x x) x))))
(+.f64 (.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) (.f64 (.f64 x x) x)) (.f64 (.f64 (*.f64 x x) x) #s(literal -1/180 binary64)))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) x))
(.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) (.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) x))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) x))
(.f64 (.f64 x x) x)
(.f64 x (.f64 x x))
(pow.f64 x #s(literal 3 binary64))
(neg.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (*.f64 x x))))
(fma.f64 (/.f64 #s(literal 1/6 binary64) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))) #s(literal -1/180 binary64))
(fma.f64 (/.f64 #s(literal 1/6 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal -1/180 binary64))
(fma.f64 (/.f64 #s(literal 1/6 binary64) (neg.f64 x)) (/.f64 #s(literal -1 binary64) x) #s(literal -1/180 binary64))
(fma.f64 (/.f64 #s(literal 1/6 binary64) x) (/.f64 #s(literal 1 binary64) x) #s(literal -1/180 binary64))
(fma.f64 #s(literal -1/6 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) x)) #s(literal -1/180 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 1/6 binary64) #s(literal -1/180 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/6 binary64) (*.f64 x x)) #s(literal -1/180 binary64))
(fma.f64 #s(literal 1/6 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal -1/180 binary64))
(-.f64 (/.f64 #s(literal 1/6 binary64) (*.f64 x x)) #s(literal 1/180 binary64))
(-.f64 #s(literal -1/180 binary64) (/.f64 #s(literal -1/6 binary64) (*.f64 x x)))
(+.f64 (/.f64 #s(literal 1/6 binary64) (*.f64 x x)) #s(literal -1/180 binary64))
(+.f64 #s(literal -1/180 binary64) (/.f64 #s(literal 1/6 binary64) (*.f64 x x)))
(*.f64 (/.f64 #s(literal 1/6 binary64) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))))
(*.f64 (/.f64 #s(literal 1/6 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
(*.f64 (/.f64 #s(literal 1/6 binary64) (neg.f64 x)) (/.f64 #s(literal -1 binary64) x))
(*.f64 (/.f64 #s(literal 1/6 binary64) x) (/.f64 #s(literal 1 binary64) x))
(.f64 #s(literal -1/6 binary64) (/.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) x)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal 1/6 binary64))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x)))
(.f64 #s(literal 1/6 binary64) (/.f64 #s(literal 1 binary64) (.f64 x x)))
(/.f64 (/.f64 #s(literal 1/6 binary64) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)))
(/.f64 (/.f64 #s(literal 1/6 binary64) (fabs.f64 x)) (fabs.f64 x))
(/.f64 (/.f64 #s(literal 1/6 binary64) (neg.f64 x)) (neg.f64 x))
(/.f64 (neg.f64 (/.f64 #s(literal 1/6 binary64) x)) (neg.f64 x))
(/.f64 (/.f64 #s(literal 1/6 binary64) x) x)
(/.f64 #s(literal -1/6 binary64) (*.f64 (neg.f64 x) x))
(/.f64 #s(literal 1/6 binary64) (*.f64 x x))
(neg.f64 (/.f64 #s(literal -1/6 binary64) (*.f64 x x)))
#s(literal 1/180 binary64)
(log.f64 (fabs.f64 (fabs.f64 #s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))))))
(log.f64 (fabs.f64 #s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64))))))
(log.f64 #s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))))
#s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))
(*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64))
(*.f64 #s(literal 1/5040 binary64) (pow.f64 x #s(literal 6 binary64)))
(pow.f64 x #s(literal 6 binary64))
#s(literal 6 binary64)
#s(literal 1/5040 binary64)
#s(approx (log (/ (sinh x) x)) #s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))))
#s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))
(.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))
(.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64)))
(neg.f64 (.f64 (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (pow.f64 x #s(literal 4 binary64))))
(neg.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 #s(literal 1/180 binary64) (/.f64 #s(literal 1/6 binary64) (.f64 x x)))))
(fma.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) (pow.f64 x #s(literal 4 binary64)) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1/180 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (.f64 #s(literal 1/6 binary64) (pow.f64 x #s(literal 4 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1/180 binary64)))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) (/.f64 #s(literal 1/6 binary64) (.f64 x x)) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1/180 binary64)))
(fma.f64 #s(literal 1/6 binary64) (.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (pow.f64 x #s(literal 4 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1/180 binary64)))
(+.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1/180 binary64)))
(+.f64 (.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) (pow.f64 x #s(literal 4 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1/180 binary64)))
(pow.f64 x #s(literal 4 binary64))
#s(literal 4 binary64)
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 #s(literal -1/180 binary64) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x)))
#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (fma.f64 #s(literal 1/2835 binary64) (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x)))
#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal -1/37800 binary64) (.f64 x x) #s(literal 1/2835 binary64)) (.f64 x x) #s(literal -1/180 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x)))
#s(approx (* x x) (*.f64 x x))
#s(approx x x)
#s(approx (/ (sinh x) x) #s(literal 1 binary64))
#s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64)))
#s(approx (/ (sinh x) x) (fma.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)))
#s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64)))
#s(approx (+ (* (* x x) 1/120) 1/6) #s(literal 1/6 binary64))
#s(approx (+ (* (* x x) 1/120) 1/6) (fma.f64 #s(literal 1/120 binary64) (*.f64 x x) #s(literal 1/6 binary64)))
#s(approx (* 1/120 (* x x)) (.f64 #s(literal 1/120 binary64) (.f64 x x)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (*.f64 #s(literal 1/6 binary64) x))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (fma.f64 #s(literal -1/180 binary64) (.f64 x x) #s(literal 1/6 binary64)) x))
#s(approx (* (* x x) x) (.f64 (.f64 x x) x))
#s(approx (- (/ 1/6 (* x x)) 1/180) (/.f64 #s(literal 1/6 binary64) (*.f64 x x)))
#s(approx (- (/ 1/6 (* x x)) 1/180) (/.f64 (fma.f64 #s(literal -1/180 binary64) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x)))
#s(approx (* (pow x 6) 1/5040) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))
#s(approx (pow x 6) (pow.f64 x #s(literal 6 binary64)))
#s(approx (pow x 4) (pow.f64 x #s(literal 4 binary64)))
#s(approx (log (/ (sinh x) x)) (-.f64 (neg.f64 (log.f64 x)) (log.f64 (/.f64 #s(literal 1 binary64) (sinh.f64 x)))))
#s(approx (log (/ (sinh x) x)) (log.f64 (/.f64 (sinh.f64 x) x)))
#s(approx (/ (sinh x) x) (/.f64 (sinh.f64 x) x))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/120 binary64)))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal -1/120 binary64)) (pow.f64 x #s(literal 4 binary64))))
#s(approx (+ (* (+ (* (* x x) 1/120) 1/6) (* x x)) 1) (.f64 (-.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1/6 binary64) (.f64 x x))) #s(literal -1/120 binary64)) (pow.f64 x #s(literal 4 binary64))))
#s(approx (+ (* (* x x) 1/120) 1/6) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal -1/120 binary64)) (*.f64 x x)))
#s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1/180 binary64)))
#s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (*.f64 x x) x) #s(literal -1/180 binary64)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))
#s(approx (- (/ 1/6 (* x x)) 1/180) #s(literal -1/180 binary64))
#s(approx (- (/ 1/6 (* x x)) 1/180) (-.f64 (/.f64 #s(literal 1/6 binary64) (*.f64 x x)) #s(literal 1/180 binary64)))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (.f64 (-.f64 (/.f64 #s(literal 1/120 binary64) (.f64 x x)) #s(literal -1/5040 binary64)) (pow.f64 x #s(literal 6 binary64))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (.f64 (-.f64 (fma.f64 #s(literal 1/6 binary64) (.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 x x))) (/.f64 #s(literal 1/120 binary64) (*.f64 x x))) #s(literal -1/5040 binary64)) (pow.f64 x #s(literal 6 binary64))))
#s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (.f64 (-.f64 (fma.f64 #s(literal 1/6 binary64) (.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 x x))) (-.f64 (pow.f64 x #s(literal -6 binary64)) (/.f64 #s(literal -1/120 binary64) (*.f64 x x)))) #s(literal -1/5040 binary64)) (pow.f64 x #s(literal 6 binary64))))
#s(approx (log (/ (sinh x) x)) (-.f64 (neg.f64 (log.f64 x)) (log.f64 (/.f64 #s(literal 1 binary64) (sinh.f64 x)))))
#s(approx (log (/ (sinh x) x)) (log.f64 (/.f64 (sinh.f64 x) x)))
#s(approx (* (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64))))

eval23.0ms (0.3%)

Memory: -1.3MiB live, 42.6MiB allocated; 5ms collecting garbage
Compiler: Compiled 2 509 to 1 190 computations (52.6% saved)

prune13.0ms (0.2%)

Memory

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

Pruning

21 alts after pruning (7 fresh and 14 done)

	Pruned	Kept	Total
New	247	7	254
Fresh	0	0	0
Picked	2	3	5
Done	0	11	11
Total	249	21	270

Accuracy

99.2%

Counts

270 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	52.1%	(-.f64 (log.f64 (sinh.f64 x)) (log.f64 x))
✓	52.3%	(neg.f64 (log.f64 (/.f64 x (sinh.f64 x))))
✓	52.4%	(log.f64 (/.f64 (sinh.f64 x) x))
✓	52.3%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))))
✓	52.4%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))))
✓	52.3%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))
✓	51.4%	(log.f64 #s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64))))
✓	1.6%	(log.f64 #s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))))
✓	51.3%	(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))
	98.4%	#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))) #s(literal 1/6 binary64)))
✓	98.5%	#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
✓	98.8%	#s(approx (log (/ (sinh x) x)) (fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x))))
✓	98.8%	#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) (*.f64 x x)))
✓	98.7%	#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
✓	98.4%	#s(approx (log (/ (sinh x) x)) (.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x))
	35.1%	#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))) x))
	35.0%	#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal 1/6 binary64) #s(literal -1/180 binary64)))) x))
	35.1%	#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (*.f64 x x) x) (-.f64 (/.f64 (/.f64 #s(literal 1/6 binary64) x) x) #s(literal 1/180 binary64)))) x))
	34.8%	#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) #s(approx (- (/ 1/6 ( x x)) 1/180) (/.f64 #s(literal 1/6 binary64) (*.f64 x x))))) x))
	26.3%	#s(approx (log (/ (sinh x) x)) #s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (.f64 #s(literal 1/6 binary64) (pow.f64 x #s(literal 4 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1/180 binary64)))))
	26.1%	#s(approx (log (/ (sinh x) x)) #s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 #s(approx (- (/ 1/6 ( x x)) 1/180) (/.f64 #s(literal 1/6 binary64) (*.f64 x x))) (pow.f64 x #s(literal 4 binary64)))))

Compiler

Compiled 532 to 440 computations (17.3% saved)

regimes24.0ms (0.3%)

Memory

-17.1MiB live, 42.6MiB allocated; 7ms collecting garbage

Counts

26 → 1

Calls

Call 1

Inputs
(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x))
#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) (*.f64 x x)))
#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) #s(approx (- (/ 1/6 ( x x)) 1/180) (/.f64 #s(literal 1/6 binary64) (*.f64 x x))))) x))
#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))) #s(literal 1/6 binary64)))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64))))
#s(approx (log (/ (sinh x) x)) (fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x))))
#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))) x))
#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (*.f64 x x) x) (-.f64 (/.f64 (/.f64 #s(literal 1/6 binary64) x) x) #s(literal 1/180 binary64)))) x))
(log.f64 (/.f64 (sinh.f64 x) x))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (fma.f64 #s(literal 1/120 binary64) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (fma.f64 (.f64 x x) #s(literal 1/120 binary64) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64))))
(neg.f64 (log.f64 (/.f64 x (sinh.f64 x))))
#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal 1/6 binary64) #s(literal -1/180 binary64)))) x))
(log.f64 #s(approx (/ (sinh x) x) #s(approx (+ (* (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) x) x) 1) (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/5040 binary64)))))
#s(approx (log (/ (sinh x) x)) #s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 #s(approx (- (/ 1/6 ( x x)) 1/180) (/.f64 #s(literal 1/6 binary64) (*.f64 x x))) (pow.f64 x #s(literal 4 binary64)))))
(-.f64 (log.f64 (sinh.f64 x)) (log.f64 x))
#s(approx (log (/ (sinh x) x)) #s(approx (* (* (+ (* -1/180 (* x x)) 1/6) x) x) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64)))))
#s(approx (log (/ (sinh x) x)) #s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (.f64 (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)) (pow.f64 x #s(literal 4 binary64)))))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (*.f64 x x) #s(literal 1/6 binary64)) x) x #s(literal 1 binary64))))
#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1/6 binary64) (.f64 x x)) #s(literal 1/180 binary64)))) x))
#s(approx (log (/ (sinh x) x)) #s(approx (+ (* (* x x) 1/6) (* (* (* x x) -1/180) (* x x))) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (.f64 #s(literal 1/6 binary64) (pow.f64 x #s(literal 4 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1/180 binary64)))))

Outputs
#s(approx (log (/ (sinh x) x)) (fma.f64 (.f64 x x) #s(literal 1/6 binary64) (.f64 (.f64 (.f64 x x) #s(literal -1/180 binary64)) (*.f64 x x))))

Calls

3 calls:

12.0ms	x
5.0ms	(log.f64 (/.f64 (sinh.f64 x) x))
5.0ms	(/.f64 (sinh.f64 x) x)

Results

Accuracy	Segments	Branch
98.8%	1	`(/.f64 (sinh.f64 x) x)`
98.8%	1	`(log.f64 (/.f64 (sinh.f64 x) x))`
98.8%	1	`x`

Compiler

Compiled 8 to 8 computations (0% saved)

regimes10.0ms (0.1%)

Memory

-24.8MiB live, 21.3MiB allocated; 4ms collecting garbage

Counts

10 → 1

Calls

Call 1

Inputs
(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x))
#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))
#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) (*.f64 x x)))
#s(approx (log (/ (sinh x) x)) (.f64 #s(approx ( (+ (* -1/180 (* x x)) 1/6) x) (.f64 (.f64 (.f64 x x) x) #s(approx (- (/ 1/6 ( x x)) 1/180) (/.f64 #s(literal 1/6 binary64) (*.f64 x x))))) x))
#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x))) #s(literal 1/6 binary64)))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 #s(approx (+ (* (* x x) 1/120) 1/6) (.f64 #s(literal 1/120 binary64) (.f64 x x))) (*.f64 x x) #s(literal 1 binary64))))

Outputs
#s(approx (log (/ (sinh x) x)) (.f64 (fma.f64 (.f64 x x) #s(literal -1/180 binary64) #s(literal 1/6 binary64)) (*.f64 x x)))

Calls

3 calls:

4.0ms	(/.f64 (sinh.f64 x) x)
3.0ms	x
2.0ms	(log.f64 (/.f64 (sinh.f64 x) x))

Results

Accuracy	Segments	Branch
98.8%	1	`(/.f64 (sinh.f64 x) x)`
98.8%	1	`(log.f64 (/.f64 (sinh.f64 x) x))`
98.8%	1	`x`

Compiler

Compiled 8 to 8 computations (0% saved)

regimes6.0ms (0.1%)

Memory

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

Counts

6 → 1

Calls

Call 1

Inputs
(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x))
#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))

Outputs
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 (fma.f64 #s(literal -1/180 binary64) (*.f64 x x) #s(literal 1/6 binary64)) x) x))

Calls

3 calls:

2.0ms	x
2.0ms	(log.f64 (/.f64 (sinh.f64 x) x))
1.0ms	(/.f64 (sinh.f64 x) x)

Results

Accuracy	Segments	Branch
98.7%	1	`(/.f64 (sinh.f64 x) x)`
98.7%	1	`(log.f64 (/.f64 (sinh.f64 x) x))`
98.7%	1	`x`

Compiler

Compiled 8 to 8 computations (0% saved)

regimes5.0ms (0.1%)

Memory

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

Counts

5 → 1

Calls

Call 1

Inputs
(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 #s(approx (+ (* -1/180 (* x x)) 1/6) #s(literal 1/6 binary64)) x) x))
#s(approx (neg (log (/ x (sinh x)))) (.f64 (.f64 x x) #s(literal 1/6 binary64)))
(log.f64 #s(approx (/ (sinh x) x) (fma.f64 (*.f64 x x) #s(literal 1/6 binary64) #s(literal 1 binary64))))

Outputs
#s(approx (log (/ (sinh x) x)) (.f64 (.f64 x x) #s(literal 1/6 binary64)))

Calls

3 calls:

2.0ms	x
1.0ms	(log.f64 (/.f64 (sinh.f64 x) x))
1.0ms	(/.f64 (sinh.f64 x) x)

Results

Accuracy	Segments	Branch
98.5%	1	`(/.f64 (sinh.f64 x) x)`
98.5%	1	`(log.f64 (/.f64 (sinh.f64 x) x))`
98.5%	1	`x`

Compiler

Compiled 8 to 8 computations (0% saved)

regimes3.0ms (0%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))

Outputs
(log.f64 #s(approx (/ (sinh x) x) #s(literal 1 binary64)))

Calls

3 calls:

1.0ms	x
1.0ms	(log.f64 (/.f64 (sinh.f64 x) x))
1.0ms	(/.f64 (sinh.f64 x) x)

Results

Accuracy	Segments	Branch
51.3%	1	`(/.f64 (sinh.f64 x) x)`
51.3%	1	`(log.f64 (/.f64 (sinh.f64 x) x))`
51.3%	1	`x`

Compiler

Compiled 8 to 8 computations (0% saved)

derivations136.0ms (1.6%)

Memory

-31.0MiB live, 61.7MiB allocated; 5ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 34 to 23 computations (32.4% saved)

preprocess66.0ms (0.8%)

Memory: 16.8MiB live, 76.1MiB allocated; 61ms collecting garbage
Remove: (abs x)
Compiler: Compiled 136 to 119 computations (12.5% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze103.0ms (1.2%)

sample6.8s (81.4%)

preprocess87.0ms (1%)

series62.0ms (0.7%)

rewrite198.0ms (2.4%)

eval11.0ms (0.1%)

prune6.0ms (0.1%)

series85.0ms (1%)

rewrite201.0ms (2.4%)

eval29.0ms (0.3%)

prune14.0ms (0.2%)

series96.0ms (1.2%)

rewrite73.0ms (0.9%)

eval25.0ms (0.3%)

prune7.0ms (0.1%)

series45.0ms (0.5%)

rewrite214.0ms (2.6%)

eval23.0ms (0.3%)

prune13.0ms (0.2%)

regimes24.0ms (0.3%)

regimes10.0ms (0.1%)

regimes6.0ms (0.1%)

regimes5.0ms (0.1%)

regimes3.0ms (0%)

derivations136.0ms (1.6%)

preprocess66.0ms (0.8%)

end0.0ms (0%)

Profiling