Metrics for Rust f32::acosh

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25%	75%	0%	0%	0%	0
100%	25%	0%	75%	0%	0%	0%	1

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample542.0ms (18.6%)

Memory

-20.2MiB live, 944.5MiB allocated; 187ms collecting garbage

Samples

375.0ms	8 254×	0	valid
0.0ms	2×	1	valid

Precisions

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

ival-acosh: 151.0ms (98.9% of total)

adjust: 2.0ms (1.3% of total)

Bogosity

preprocess67.0ms (2.3%)

Memory

1.5MiB live, 94.0MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	9
1	16	9
2	89	9

Stop Event

1×	iter-limit
1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	48.4%	(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))

Compiler

Compiled 18 to 14 computations (22.2% saved)

series137.0ms (4.7%)

Memory

23.1MiB live, 217.9MiB allocated; 29ms collecting garbage

Counts

7 → 39

Calls

Call 1

Inputs
(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))
(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))
x
(sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))
(-.f32 (*.f32 x x) #s(literal 1 binary32))
(*.f32 x x)
#s(literal 1 binary32)

Outputs
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (log.f32 (sqrt.f32 #s(literal -1 binary32))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (/.f32 x (sqrt.f32 #s(literal -1 binary32)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (*.f32 x (fma.f32 #s(literal -1/6 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (.f32 x (fma.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 #s(literal 3/40 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (*.f32 #s(literal 1/6 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (sqrt.f32 #s(literal -1 binary32)))
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 x (sqrt.f32 #s(literal -1 binary32))))
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 x (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 x (fma.f32 #s(literal -1/8 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))))
#s(approx x x)
#s(approx (sqrt (- (* x x) 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 #s(literal 1/2 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 #s(literal -1 binary32))))))
#s(approx (sqrt (- (* x x) 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1/8 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (sqrt (- (* x x) 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 #s(literal 1/16 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (- (* x x) 1) #s(literal -1 binary32))
#s(approx (- (* x x) 1) (-.f32 (pow.f32 x #s(literal 2 binary32)) #s(literal 1 binary32)))
#s(approx (* x x) (pow.f32 x #s(literal 2 binary32)))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (.f32 #s(literal 3/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 3/32 binary32) (.f32 #s(literal 5/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 #s(literal 2 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (- (* x x) 1) (*.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (.f32 #s(literal 5/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 5/32 binary32) (.f32 #s(literal 11/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (/.f32 #s(literal 1/2 binary32) x))
#s(approx (+ x (sqrt (- (* x x) 1))) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) x))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))) #s(literal 1/2 binary32)) x)))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/16 binary32) (.f32 #s(literal 5/128 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))) (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) x)))
#s(approx (sqrt (- (* x x) 1)) (*.f32 #s(literal -1 binary32) x))
#s(approx (sqrt (- (* x x) 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 #s(literal -1 binary32) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))

Calls

3 calls:

Time	Variable	Point
3.0ms	x	0
3.0ms	x	-inf
2.0ms	x	inf

rewrite193.0ms (6.7%)

Memory

-9.7MiB live, 369.6MiB allocated; 35ms collecting garbage

Counts

7 → 35

Calls

Call 1

Inputs
(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))
(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))
x
(sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))
(-.f32 (*.f32 x x) #s(literal 1 binary32))
(*.f32 x x)
#s(literal 1 binary32)

Outputs
(-.f32 (log.f32 (-.f32 (*.f32 x x) (fma.f32 x x #s(literal -1 binary32)))) (log.f32 (-.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))))
(-.f32 (log.f32 (fma.f32 x x (fma.f32 x x #s(literal -1 binary32)))) (log.f32 (-.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x)))
(-.f32 (log.f32 (fma.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (fma.f32 x x #s(literal -1 binary32)) (.f32 (.f32 x x) x))) (log.f32 (fma.f32 x (-.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (fma.f32 x x #s(literal -1 binary32)))))
(-.f32 (log.f32 (neg.f32 (fma.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (fma.f32 x x #s(literal -1 binary32)) (.f32 (.f32 x x) x)))) (log.f32 (neg.f32 (fma.f32 x (-.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (fma.f32 x x #s(literal -1 binary32))))))
(/.f32 (-.f32 (.f32 (log.f32 (-.f32 (.f32 x x) (fma.f32 x x #s(literal -1 binary32)))) (log.f32 (-.f32 (.f32 x x) (fma.f32 x x #s(literal -1 binary32))))) (.f32 (log.f32 (-.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) (log.f32 (-.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))))) (+.f32 (log.f32 (-.f32 (*.f32 x x) (fma.f32 x x #s(literal -1 binary32)))) (log.f32 (-.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))))))
(.f32 (/.f32 (-.f32 (.f32 x x) (fma.f32 x x #s(literal -1 binary32))) (-.f32 (*.f32 x x) (fma.f32 x x #s(literal -1 binary32)))) (+.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))))
(.f32 (/.f32 (-.f32 (.f32 x x) (fma.f32 x x #s(literal -1 binary32))) (-.f32 (.f32 (.f32 x x) x) (*.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (fma.f32 x x #s(literal -1 binary32))))) (fma.f32 x x (fma.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x (fma.f32 x x #s(literal -1 binary32)))))
(*.f32 (+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (fabs.f32 x)) (/.f32 (-.f32 (fabs.f32 x) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (-.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))))
(*.f32 (+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (neg.f32 x)) (/.f32 (-.f32 (neg.f32 x) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (-.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))))
(*.f32 (+.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (/.f32 (-.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (-.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))))
x
(*.f32 x #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) x)
(.f32 (.f32 x (neg.f32 #s(literal 1 binary32))) (neg.f32 #s(literal 1 binary32)))
(+.f32 x (*.f32 x #s(literal 0 binary32)))
(*.f32 (sqrt.f32 (+.f32 x #s(literal 1 binary32))) (sqrt.f32 (-.f32 x #s(literal 1 binary32))))
(*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))
(*.f32 (pow.f32 (fma.f32 x x #s(literal -1 binary32)) (/.f32 #s(literal 1/2 binary32) #s(literal 2 binary32))) (pow.f32 (fma.f32 x x #s(literal -1 binary32)) (/.f32 #s(literal 1/2 binary32) #s(literal 2 binary32))))
(*.f32 (neg.f32 (pow.f32 (fma.f32 x x #s(literal -1 binary32)) (/.f32 #s(literal 1/2 binary32) #s(literal 2 binary32)))) (neg.f32 (pow.f32 (fma.f32 x x #s(literal -1 binary32)) (/.f32 #s(literal 1/2 binary32) #s(literal 2 binary32)))))
(*.f32 (pow.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) #s(literal 1/2 binary32)) (pow.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) #s(literal 1/2 binary32)))
(*.f32 (+.f32 x #s(literal 1 binary32)) (-.f32 x #s(literal 1 binary32)))
(*.f32 (-.f32 x #s(literal 1 binary32)) (+.f32 x #s(literal 1 binary32)))
(*.f32 (neg.f32 #s(literal 1 binary32)) (fma.f32 x x #s(literal 1 binary32)))
(*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32)))
(*.f32 (+.f32 (fabs.f32 x) #s(literal 1 binary32)) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))
(*.f32 x x)
(.f32 (.f32 x x) #s(literal 1 binary32))
(.f32 (.f32 x x) (neg.f32 #s(literal 1 binary32)))
(*.f32 (fabs.f32 x) (neg.f32 x))
(*.f32 (fabs.f32 x) x)
#s(literal 1 binary32)
(*.f32 #s(literal 1 binary32) #s(literal 1 binary32))
(*.f32 (neg.f32 #s(literal 1 binary32)) (neg.f32 #s(literal 1 binary32)))
(*.f32 (pow.f32 #s(literal 1 binary32) #s(literal 1 binary32)) (pow.f32 #s(literal 1 binary32) #s(literal 1 binary32)))
(*.f32 (pow.f32 #s(literal 1 binary32) #s(literal 1 binary32)) #s(literal 1 binary32))

eval18.0ms (0.6%)

Memory: -11.7MiB live, 42.0MiB allocated; 7ms collecting garbage
Compiler: Compiled 1 610 to 410 computations (74.5% saved)

prune7.0ms (0.3%)

Memory

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

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	65	6	71
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	65	7	72

Accuracy

99.9%

Counts

72 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.7%	(log.f32 (+.f32 x (*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))))
✓	48.4%	(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))
▶	48.4%	(log.f32 (+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))))
▶	96.1%	(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))))
	97.0%	(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
▶	94.7%	(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
▶	96.1%	#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))

Compiler

Compiled 233 to 177 computations (24% saved)

series370.0ms (12.7%)

Memory

-15.3MiB live, 587.4MiB allocated; 192ms collecting garbage

Counts

34 → 104

Calls

Call 1

Inputs
(log.f32 (+.f32 x (*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))))
(+.f32 x (*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32)))))
x
(*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))
(sqrt.f32 (-.f32 x #s(literal 1 binary32)))
(-.f32 x #s(literal 1 binary32))
#s(literal 1 binary32)
(sqrt.f32 (+.f32 x #s(literal 1 binary32)))
(+.f32 x #s(literal 1 binary32))
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x))
(*.f32 #s(literal 2 binary32) x)
#s(literal 2 binary32)
(log.f32 (+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))))
(+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32)))))
(sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))
(*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32)))
(fma.f32 x x #s(literal -1 binary32))
#s(literal -1 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))
(+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x))))
(log.f32 #s(literal 2 binary32))
(*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))
(log.f32 (/.f32 #s(literal 1 binary32) x))
(/.f32 #s(literal 1 binary32) x)
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))))
(+.f32 x #s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
(.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))
(*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(literal 1/2 binary32)
(/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))
(pow.f32 x #s(literal 2 binary32))

Outputs
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (log.f32 (sqrt.f32 #s(literal -1 binary32))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (*.f32 x (+.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (.f32 x (+.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal 1/2 binary32) (.f32 x (fma.f32 #s(literal -1 binary32) (/.f32 (pow.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (.f32 #s(literal 2 binary32) (/.f32 (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (sqrt.f32 #s(literal -1 binary32)))))) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (.f32 x (+.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (fma.f32 x (fma.f32 #s(literal 1/6 binary32) (.f32 x (fma.f32 #s(literal -6 binary32) (/.f32 (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32)))))) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (fma.f32 #s(literal 2 binary32) (/.f32 (pow.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) #s(literal 3 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (.f32 #s(literal 6 binary32) (/.f32 (-.f32 (fma.f32 #s(literal 1/16 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32))))) (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32)))))) (sqrt.f32 #s(literal -1 binary32))))))) (.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal -1 binary32) (/.f32 (pow.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (.f32 #s(literal 2 binary32) (/.f32 (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (sqrt.f32 #s(literal -1 binary32))))))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (sqrt.f32 #s(literal -1 binary32)))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal 1/16 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32))))) (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))))))))))
#s(approx x x)
#s(approx (* (sqrt (- x 1)) (sqrt (+ x 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (* (sqrt (- x 1)) (sqrt (+ x 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32)))))))))))
#s(approx (* (sqrt (- x 1)) (sqrt (+ x 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal 1/16 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32))))) (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32)))))))))))
#s(approx (sqrt (- x 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 #s(literal 1/2 binary32) (/.f32 x (sqrt.f32 #s(literal -1 binary32))))))
#s(approx (sqrt (- x 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (fma.f32 #s(literal -1/8 binary32) (/.f32 x (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (sqrt (- x 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (fma.f32 x (-.f32 (.f32 #s(literal 1/16 binary32) (/.f32 x (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (- x 1) #s(literal -1 binary32))
#s(approx (- x 1) (-.f32 x #s(literal 1 binary32)))
#s(approx (sqrt (+ x 1)) #s(literal 1 binary32))
#s(approx (sqrt (+ x 1)) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) x)))
#s(approx (sqrt (+ x 1)) (+.f32 #s(literal 1 binary32) (.f32 x (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal -1/8 binary32) x)))))
#s(approx (sqrt (+ x 1)) (+.f32 #s(literal 1 binary32) (.f32 x (+.f32 #s(literal 1/2 binary32) (.f32 x (-.f32 (*.f32 #s(literal 1/16 binary32) x) #s(literal 1/8 binary32)))))))
#s(approx (+ x 1) (+.f32 #s(literal 1 binary32) x))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (/.f32 x (sqrt.f32 #s(literal -1 binary32)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (*.f32 x (fma.f32 #s(literal -1/6 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (.f32 x (fma.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 #s(literal 3/40 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (*.f32 #s(literal 1/6 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 x (sqrt.f32 #s(literal -1 binary32))))
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 x (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 x (fma.f32 #s(literal -1/8 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))))
#s(approx (* 2 x) (*.f32 #s(literal 2 binary32) x))
#s(approx (sqrt (* 1 (+ (* x x) -1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 #s(literal 1/2 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 #s(literal -1 binary32))))))
#s(approx (sqrt (* 1 (+ (* x x) -1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1/8 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (sqrt (* 1 (+ (* x x) -1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 #s(literal 1/16 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (* 1 (+ (* x x) -1)) (-.f32 (pow.f32 x #s(literal 2 binary32)) #s(literal 1 binary32)))
#s(approx (+ (log 2) (* -1 (log (/ 1 x)))) (+.f32 (log.f32 #s(literal 2 binary32)) (log.f32 x)))
#s(approx (* -1 (log (/ 1 x))) (log.f32 x))
#s(approx (log (/ 1 x)) (*.f32 #s(literal -1 binary32) (log.f32 x)))
#s(approx (/ 1 x) (/.f32 #s(literal 1 binary32) x))
#s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x))
#s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 (-.f32 (pow.f32 x #s(literal 2 binary32)) #s(literal 1/2 binary32)) x))
#s(approx (- 1 (* 1/2 (/ 1 (pow x 2)))) (/.f32 #s(literal -1/2 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(approx (- 1 (* 1/2 (/ 1 (pow x 2)))) (/.f32 (-.f32 (pow.f32 x #s(literal 2 binary32)) #s(literal 1/2 binary32)) (pow.f32 x #s(literal 2 binary32))))
#s(approx (* 1/2 (/ 1 (pow x 2))) (/.f32 #s(literal 1/2 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(approx (/ 1 (pow x 2)) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(approx (pow x 2) (pow.f32 x #s(literal 2 binary32)))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (*.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1 binary32) (*.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (-.f32 (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1 binary32) (.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (-.f32 (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (+.f32 (/.f32 #s(literal 1 binary32) (.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))) (.f32 #s(literal 1/3 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 3 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32)))))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32)))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (*.f32 (pow.f32 x #s(literal 2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32)))))) (pow.f32 x #s(literal 4 binary32))) (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))
#s(approx (* (sqrt (- x 1)) (sqrt (+ x 1))) (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))))
#s(approx (* (sqrt (- x 1)) (sqrt (+ x 1))) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32)))))) (pow.f32 x #s(literal 4 binary32))) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (sqrt (- x 1)) (*.f32 x (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))
#s(approx (sqrt (- x 1)) (.f32 x (-.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))))))
#s(approx (sqrt (- x 1)) (.f32 x (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32)))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (sqrt (- x 1)) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 5 binary32)))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))))))
#s(approx (- x 1) (*.f32 x (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))
#s(approx (sqrt (+ x 1)) (.f32 x (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))))))
#s(approx (sqrt (+ x 1)) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))) (/.f32 #s(literal 1/8 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32)))))))
#s(approx (sqrt (+ x 1)) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (+.f32 (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 6 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 5 binary32))))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32))))))))
#s(approx (+ x 1) (*.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (.f32 #s(literal 3/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 3/32 binary32) (.f32 #s(literal 5/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 #s(literal 2 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (sqrt (* 1 (+ (* x x) -1))) (.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (sqrt (* 1 (+ (* x x) -1))) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (sqrt (* 1 (+ (* x x) -1))) (.f32 x (-.f32 (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (* 1 (+ (* x x) -1)) (*.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (* -1 (log (/ 1 x))) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x))))
#s(approx (log (/ 1 x)) (log.f32 (/.f32 #s(literal 1 binary32) x)))
#s(approx (- 1 (* 1/2 (/ 1 (pow x 2)))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (*.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)) (/.f32 #s(literal 1 binary32) (*.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32))))) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))) x)))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal 1/3 binary32) (/.f32 #s(literal 1 binary32) (.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32))))) x)) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))) x)))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 3 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))) #s(literal 1 binary32)) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (/.f32 (-.f32 (+.f32 (/.f32 #s(literal 1/8 binary32) (.f32 (pow.f32 x #s(literal 7 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32)))) (/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 3 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))) #s(literal 1 binary32)) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (sqrt (- x 1)) (.f32 #s(literal -1 binary32) (.f32 x (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))))
#s(approx (sqrt (- x 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))))))))
#s(approx (sqrt (- x 1)) (.f32 #s(literal -1 binary32) (.f32 x (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32)))))) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (sqrt (- x 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 5 binary32)))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))))))
#s(approx (- x 1) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (/.f32 #s(literal 1 binary32) x) #s(literal 1 binary32)))))
#s(approx (sqrt (+ x 1)) (.f32 #s(literal -1 binary32) (.f32 x (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))))))))
#s(approx (sqrt (+ x 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))) (/.f32 #s(literal 1/8 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32))))))))
#s(approx (sqrt (+ x 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (+.f32 (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 6 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 5 binary32))))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32)))))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (.f32 #s(literal 5/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 5/32 binary32) (.f32 #s(literal 11/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (/.f32 #s(literal 1/2 binary32) x))
#s(approx (+ x (sqrt (- (* x x) 1))) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) x))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))) #s(literal 1/2 binary32)) x)))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/16 binary32) (.f32 #s(literal 5/128 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))) (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) x)))
#s(approx (sqrt (* 1 (+ (* x x) -1))) (*.f32 #s(literal -1 binary32) x))
#s(approx (sqrt (* 1 (+ (* x x) -1))) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (sqrt (* 1 (+ (* x x) -1))) (.f32 #s(literal -1 binary32) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (sqrt (* 1 (+ (* x x) -1))) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))) #s(literal 1 binary32)))))

Calls

3 calls:

Time	Variable	Point
106.0ms	x	0
20.0ms	x	inf
19.0ms	x	-inf

rewrite178.0ms (6.1%)

Memory

2.4MiB live, 144.1MiB allocated; 35ms collecting garbage

Counts

34 → 146

Calls

Call 1

Inputs
(log.f32 (+.f32 x (*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))))
(+.f32 x (*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32)))))
x
(*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))
(sqrt.f32 (-.f32 x #s(literal 1 binary32)))
(-.f32 x #s(literal 1 binary32))
#s(literal 1 binary32)
(sqrt.f32 (+.f32 x #s(literal 1 binary32)))
(+.f32 x #s(literal 1 binary32))
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x))
(*.f32 #s(literal 2 binary32) x)
#s(literal 2 binary32)
(log.f32 (+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))))
(+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32)))))
(sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))
(*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32)))
(fma.f32 x x #s(literal -1 binary32))
#s(literal -1 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))
(+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x))))
(log.f32 #s(literal 2 binary32))
(*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))
(log.f32 (/.f32 #s(literal 1 binary32) x))
(/.f32 #s(literal 1 binary32) x)
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))))
(+.f32 x #s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
(.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))
(*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(literal 1/2 binary32)
(/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))
(pow.f32 x #s(literal 2 binary32))

Outputs
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
(log.f32 #s(approx 1/2 #s(literal 1 binary32)))
#s(approx 1/2 #s(literal 1 binary32))
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(approx 1/2 #s(literal 1 binary32))
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
(log.f32 (+.f32 #s(literal 1 binary32) #s(approx 1/2 #s(literal 1 binary32))))
(+.f32 #s(literal 1 binary32) #s(approx 1/2 #s(literal 1 binary32)))
#s(approx 1/2 #s(literal 1 binary32))
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1/2 binary32)
#s(literal 0 binary32)

eval19.0ms (0.6%)

Memory: 18.6MiB live, 18.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 3 657 to 765 computations (79.1% saved)

prune12.0ms (0.4%)

Memory

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

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	107	8	115
Fresh	0	1	1
Picked	2	3	5
Done	0	1	1
Total	109	13	122

Accuracy

100.0%

Counts

122 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	97.7%	(log.f32 (+.f32 x (*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))))
▶	97.7%	(log.f32 (+.f32 x (.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 #s(approx (+ x 1) (.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))))))
	71.7%	(log.f32 (+.f32 x (.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) #s(approx (sqrt (+ x 1)) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))) (/.f32 #s(literal 1/8 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32))))))))))
✓	48.4%	(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))
✓	48.4%	(log.f32 (+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))))
	44.1%	(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))))
▶	46.8%	(log.f32 #s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))))
	97.0%	(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
✓	94.7%	(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
▶	96.1%	#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))
▶	22.3%	#s(literal 2 binary32)
	21.1%	#s(literal 1 binary32)
▶	20.2%	#s(literal 1/2 binary32)

Compiler

Compiled 424 to 300 computations (29.2% saved)

series345.0ms (11.9%)

Memory

-36.0MiB live, 361.5MiB allocated; 173ms collecting garbage

Counts

31 → 90

Calls

Call 1

Inputs
(log.f32 (+.f32 x (.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 #s(approx (+ x 1) (.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))))))
(+.f32 x (.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 #s(approx (+ x 1) (.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x)))))))
x
(.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 #s(approx (+ x 1) (.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))))
(sqrt.f32 (-.f32 x #s(literal 1 binary32)))
(-.f32 x #s(literal 1 binary32))
#s(literal 1 binary32)
(sqrt.f32 #s(approx (+ x 1) (*.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x)))))
#s(approx (+ x 1) (*.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))
(*.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x)))
(+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))
(/.f32 #s(literal 1 binary32) x)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))
(+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x)))
(log.f32 #s(literal 2 binary32))
#s(approx (* -1 (log (/ 1 x))) (log.f32 x))
(log.f32 x)
(log.f32 #s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))))
(.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))
(pow.f32 x #s(literal 2 binary32))
(-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
(+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))
(pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))
(sqrt.f32 (/.f32 #s(literal 1 binary32) x))
(/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))
(*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))
(pow.f32 x #s(literal 4 binary32))
#s(literal 4 binary32)

Outputs
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (log.f32 (sqrt.f32 #s(literal -1 binary32))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (*.f32 x (+.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (.f32 x (+.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal 1/2 binary32) (.f32 x (fma.f32 #s(literal -1 binary32) (/.f32 (pow.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (.f32 #s(literal 2 binary32) (/.f32 (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (sqrt.f32 #s(literal -1 binary32)))))) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (.f32 x (+.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (fma.f32 x (fma.f32 #s(literal 1/6 binary32) (.f32 x (fma.f32 #s(literal -6 binary32) (/.f32 (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32)))))) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (fma.f32 #s(literal 2 binary32) (/.f32 (pow.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) #s(literal 3 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (.f32 #s(literal 6 binary32) (/.f32 (-.f32 (fma.f32 #s(literal 1/16 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32))))) (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32)))))) (sqrt.f32 #s(literal -1 binary32))))))) (.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal -1 binary32) (/.f32 (pow.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (.f32 #s(literal 2 binary32) (/.f32 (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (sqrt.f32 #s(literal -1 binary32))))))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (sqrt.f32 #s(literal -1 binary32)))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal 1/16 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32))))) (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))))))))))
#s(approx x x)
#s(approx (* (sqrt (- x 1)) (sqrt (+ x 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (* (sqrt (- x 1)) (sqrt (+ x 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32)))))))))))
#s(approx (* (sqrt (- x 1)) (sqrt (+ x 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal 1/16 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32))))) (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32)))))))))))
#s(approx (sqrt (- x 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 #s(literal 1/2 binary32) (/.f32 x (sqrt.f32 #s(literal -1 binary32))))))
#s(approx (sqrt (- x 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (fma.f32 #s(literal -1/8 binary32) (/.f32 x (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (sqrt (- x 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (fma.f32 x (-.f32 (.f32 #s(literal 1/16 binary32) (/.f32 x (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (- x 1) #s(literal -1 binary32))
#s(approx (- x 1) (-.f32 x #s(literal 1 binary32)))
#s(approx (sqrt (+ x 1)) #s(literal 1 binary32))
#s(approx (sqrt (+ x 1)) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) x)))
#s(approx (sqrt (+ x 1)) (+.f32 #s(literal 1 binary32) (.f32 x (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal -1/8 binary32) x)))))
#s(approx (sqrt (+ x 1)) (+.f32 #s(literal 1 binary32) (.f32 x (+.f32 #s(literal 1/2 binary32) (.f32 x (-.f32 (*.f32 #s(literal 1/16 binary32) x) #s(literal 1/8 binary32)))))))
#s(approx (+ x 1) (+.f32 #s(literal 1 binary32) x))
#s(approx (+ 1 (/ 1 x)) (/.f32 #s(literal 1 binary32) x))
#s(approx (+ 1 (/ 1 x)) (/.f32 (+.f32 #s(literal 1 binary32) x) x))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (/.f32 x (sqrt.f32 #s(literal -1 binary32)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (*.f32 x (fma.f32 #s(literal -1/6 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (.f32 x (fma.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 #s(literal 3/40 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (*.f32 #s(literal 1/6 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))
#s(approx (+ (log 2) (* -1 (log (/ 1 x)))) (+.f32 (log.f32 #s(literal 2 binary32)) (log.f32 x)))
#s(approx (* -1 (log (/ 1 x))) (log.f32 x))
#s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))
#s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))
#s(approx (pow x 2) (pow.f32 x #s(literal 2 binary32)))
#s(approx (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2)))) (/.f32 (-.f32 (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))
#s(approx (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2)))) (/.f32 (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))
#s(approx (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/.f32 (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)) (pow.f32 x #s(literal 2 binary32))))
#s(approx (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (pow.f32 x #s(literal 2 binary32))))
#s(approx (sqrt (/ 1 x)) (/.f32 (sqrt.f32 x) x))
#s(approx (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))) (/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)))))
#s(approx (* (pow x 4) (pow (sqrt (/ 1 x)) 2)) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))
#s(approx (pow x 4) (pow.f32 x #s(literal 4 binary32)))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (*.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1 binary32) (*.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (-.f32 (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1 binary32) (.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (-.f32 (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (+.f32 (/.f32 #s(literal 1 binary32) (.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))) (.f32 #s(literal 1/3 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 3 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32)))))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32)))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (*.f32 (pow.f32 x #s(literal 2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32)))))) (pow.f32 x #s(literal 4 binary32))) (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))
#s(approx (* (sqrt (- x 1)) (sqrt (+ x 1))) (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))))
#s(approx (* (sqrt (- x 1)) (sqrt (+ x 1))) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32)))))) (pow.f32 x #s(literal 4 binary32))) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (sqrt (- x 1)) (*.f32 x (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))
#s(approx (sqrt (- x 1)) (.f32 x (-.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))))))
#s(approx (sqrt (- x 1)) (.f32 x (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32)))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (sqrt (- x 1)) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 5 binary32)))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))))))
#s(approx (- x 1) (*.f32 x (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))
#s(approx (sqrt (+ x 1)) (.f32 x (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))))))
#s(approx (sqrt (+ x 1)) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))) (/.f32 #s(literal 1/8 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32)))))))
#s(approx (sqrt (+ x 1)) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (+.f32 (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 6 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 5 binary32))))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32))))))))
#s(approx (+ x 1) (*.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))
#s(approx (+ 1 (/ 1 x)) (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x)))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (.f32 #s(literal 3/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 3/32 binary32) (.f32 #s(literal 5/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (* -1 (log (/ 1 x))) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x))))
#s(approx (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2)))) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))
#s(approx (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2)))) (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))
#s(approx (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2)))) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))
#s(approx (sqrt (/ 1 x)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))
#s(approx (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))) (/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (* (pow x 4) (pow (sqrt (/ 1 x)) 2)) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (*.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)) (/.f32 #s(literal 1 binary32) (*.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32))))) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))) x)))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal 1/3 binary32) (/.f32 #s(literal 1 binary32) (.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32))))) x)) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))) x)))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 3 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))) #s(literal 1 binary32)) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (/.f32 (-.f32 (+.f32 (/.f32 #s(literal 1/8 binary32) (.f32 (pow.f32 x #s(literal 7 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32)))) (/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 3 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))) #s(literal 1 binary32)) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (sqrt (- x 1)) (.f32 #s(literal -1 binary32) (.f32 x (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))))
#s(approx (sqrt (- x 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))))))))
#s(approx (sqrt (- x 1)) (.f32 #s(literal -1 binary32) (.f32 x (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32)))))) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (sqrt (- x 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 5 binary32)))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))))))
#s(approx (- x 1) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (/.f32 #s(literal 1 binary32) x) #s(literal 1 binary32)))))
#s(approx (sqrt (+ x 1)) (.f32 #s(literal -1 binary32) (.f32 x (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))))))))
#s(approx (sqrt (+ x 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))) (/.f32 #s(literal 1/8 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32))))))))
#s(approx (sqrt (+ x 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (+.f32 (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 6 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 5 binary32))))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32)))))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (.f32 #s(literal 5/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 5/32 binary32) (.f32 #s(literal 11/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2)))) (fma.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 3 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))) #s(literal 1 binary32)) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))

Calls

3 calls:

Time	Variable	Point
112.0ms	x	-inf
39.0ms	x	inf
29.0ms	x	0

rewrite214.0ms (7.4%)

Memory

23.7MiB live, 258.3MiB allocated; 45ms collecting garbage

Counts

31 → 111

Calls

Call 1

Inputs
(log.f32 (+.f32 x (.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 #s(approx (+ x 1) (.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))))))
(+.f32 x (.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 #s(approx (+ x 1) (.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x)))))))
x
(.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 #s(approx (+ x 1) (.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))))
(sqrt.f32 (-.f32 x #s(literal 1 binary32)))
(-.f32 x #s(literal 1 binary32))
#s(literal 1 binary32)
(sqrt.f32 #s(approx (+ x 1) (*.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x)))))
#s(approx (+ x 1) (*.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))
(*.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x)))
(+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))
(/.f32 #s(literal 1 binary32) x)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))
(+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x)))
(log.f32 #s(literal 2 binary32))
#s(approx (* -1 (log (/ 1 x))) (log.f32 x))
(log.f32 x)
(log.f32 #s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))))
(.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))
(pow.f32 x #s(literal 2 binary32))
(-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
(+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))
(pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))
(sqrt.f32 (/.f32 #s(literal 1 binary32) x))
(/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))
(*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))
(pow.f32 x #s(literal 4 binary32))
#s(literal 4 binary32)

Outputs
(log.f32 (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 1 binary32) (sqrt.f32 #s(approx -1 #s(literal 1 binary32))))))
(+.f32 #s(literal 1 binary32) (*.f32 #s(literal 1 binary32) (sqrt.f32 #s(approx -1 #s(literal 1 binary32)))))
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
(*.f32 #s(literal 1 binary32) (sqrt.f32 #s(approx -1 #s(literal 1 binary32))))
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
(sqrt.f32 #s(approx -1 #s(literal 1 binary32)))
#s(approx -1 #s(literal 1 binary32))
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
#s(approx -1 (+.f32 #s(literal 1 binary32) #s(approx -1 #s(literal 1 binary32))))
(+.f32 #s(literal 1 binary32) #s(approx -1 #s(literal 1 binary32)))
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
#s(approx -1 #s(literal 1 binary32))
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
(log.f32 #s(approx -1 (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32)))))
#s(approx -1 (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))))
(.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32))) #s(literal 1 binary32))
(.f32 #s(literal 1 binary32) (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32))))
(.f32 (neg.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32)))) (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))))
(.f32 (neg.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32)))) #s(literal 1 binary32))
(*.f32 (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))) (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))))
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
(.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32))) #s(literal 1 binary32))
(.f32 #s(literal 1 binary32) (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32))))
(.f32 (neg.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32)))) (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))))
(.f32 (neg.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32)))) #s(literal 1 binary32))
(*.f32 (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))) (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))))
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 3 binary32)
(.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32))) #s(literal 1 binary32))
(.f32 #s(literal 1 binary32) (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32))))
(.f32 (neg.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32)))) (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))))
(.f32 (neg.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32)))) #s(literal 1 binary32))
(*.f32 (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))) (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))))
(.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32))) #s(literal 1 binary32))
(.f32 #s(literal 1 binary32) (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32))))
(.f32 (neg.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32)))) (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))))
(.f32 (neg.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32)))) #s(literal 1 binary32))
(*.f32 (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))) (expm1.f32 (fma.f32 #s(literal 1 binary32) #s(literal 4 binary32) #s(literal 1 binary32))))
(.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32))) (exp.f32 (*.f32 #s(literal 1 binary32) #s(literal 4 binary32))))
(.f32 (neg.f32 (exp.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32)))) (neg.f32 (exp.f32 (*.f32 #s(literal 1 binary32) #s(literal 4 binary32)))))
(fabs.f32 (exp.f32 (*.f32 #s(literal 1 binary32) #s(literal 4 binary32))))
(fabs.f32 (neg.f32 (exp.f32 (*.f32 #s(literal 1 binary32) #s(literal 4 binary32)))))
(+.f32 (cosh.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32))) (sinh.f32 (.f32 #s(literal 1 binary32) #s(literal 4 binary32))))
#s(literal 4 binary32)

eval16.0ms (0.6%)

Memory: -13.0MiB live, 32.1MiB allocated; 5ms collecting garbage
Compiler: Compiled 4 582 to 874 computations (80.9% saved)

prune6.0ms (0.2%)

Memory

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

Pruning

13 alts after pruning (5 fresh and 8 done)

	Pruned	Kept	Total
New	120	2	122
Fresh	1	3	4
Picked	1	4	5
Done	0	4	4
Total	122	13	135

Accuracy

100.0%

Counts

135 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	97.7%	(log.f32 (+.f32 x (*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))))
✓	97.7%	(log.f32 (+.f32 x (.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 #s(approx (+ x 1) (.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))))))
✓	48.4%	(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))
✓	48.4%	(log.f32 (+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))))
▶	44.1%	(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))))
▶	96.1%	(log.f32 #s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) #s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))))
▶	97.0%	(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
✓	94.7%	(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
✓	96.1%	#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))
▶	21.6%	#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))))
✓	22.3%	#s(literal 2 binary32)
▶	21.1%	#s(literal 1 binary32)
✓	20.2%	#s(literal 1/2 binary32)

Compiler

Compiled 370 to 259 computations (30% saved)

series261.0ms (9%)

Memory

-15.9MiB live, 279.7MiB allocated; 51ms collecting garbage

Counts

40 → 104

Calls

Call 1

Inputs
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
(.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
x
(-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))
(+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))
#s(literal 2 binary32)
(.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))
#s(literal -1 binary32)
(/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))
(+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))
#s(literal 1/8 binary32)
(*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(literal 1/16 binary32)
(/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))
#s(literal 1 binary32)
(pow.f32 x #s(literal 2 binary32))
(pow.f32 x #s(literal 4 binary32))
#s(literal 4 binary32)
(*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(literal 1/2 binary32)
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))))
(+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x))))
#s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))
#s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x))
(/.f32 #s(literal -1/2 binary32) x)
#s(literal -1/2 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))))
(+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32))))
(log.f32 #s(literal 2 binary32))
#s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))
(log.f32 #s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) #s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) #s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)))))))
#s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))
(-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)))))
(+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)))
(pow.f32 (sqrt.f32 x) #s(literal 2 binary32))
(sqrt.f32 x)
(*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))
(/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)))

Outputs
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (log.f32 (sqrt.f32 #s(literal -1 binary32))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (/.f32 x (sqrt.f32 #s(literal -1 binary32)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (*.f32 x (fma.f32 #s(literal -1/6 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (.f32 x (fma.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 #s(literal 3/40 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (*.f32 #s(literal 1/6 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (sqrt.f32 #s(literal -1 binary32)))
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 x (sqrt.f32 #s(literal -1 binary32))))
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 x (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 x (fma.f32 #s(literal -1/8 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))))
#s(approx (* x (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/16 binary32) (pow.f32 x #s(literal 5 binary32))))
#s(approx (* x (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2))))) (/.f32 (-.f32 (*.f32 #s(literal -1/8 binary32) (pow.f32 x #s(literal 2 binary32))) #s(literal 1/16 binary32)) (pow.f32 x #s(literal 5 binary32))))
#s(approx (* x (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2))))) (/.f32 (-.f32 (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 #s(literal -1/2 binary32) (pow.f32 x #s(literal 2 binary32))) #s(literal 1/8 binary32))) #s(literal 1/16 binary32)) (pow.f32 x #s(literal 5 binary32))))
#s(approx (* x (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2))))) (/.f32 (-.f32 (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (*.f32 #s(literal 2 binary32) (pow.f32 x #s(literal 2 binary32))) #s(literal 1/2 binary32))) #s(literal 1/8 binary32))) #s(literal 1/16 binary32)) (pow.f32 x #s(literal 5 binary32))))
#s(approx x x)
#s(approx (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))) (/.f32 #s(literal -1/16 binary32) (pow.f32 x #s(literal 6 binary32))))
#s(approx (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))) (/.f32 (-.f32 (*.f32 #s(literal -1/8 binary32) (pow.f32 x #s(literal 2 binary32))) #s(literal 1/16 binary32)) (pow.f32 x #s(literal 6 binary32))))
#s(approx (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))) (/.f32 (-.f32 (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 #s(literal -1/2 binary32) (pow.f32 x #s(literal 2 binary32))) #s(literal 1/8 binary32))) #s(literal 1/16 binary32)) (pow.f32 x #s(literal 6 binary32))))
#s(approx (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))) (/.f32 (-.f32 (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (*.f32 #s(literal 2 binary32) (pow.f32 x #s(literal 2 binary32))) #s(literal 1/2 binary32))) #s(literal 1/8 binary32))) #s(literal 1/16 binary32)) (pow.f32 x #s(literal 6 binary32))))
#s(approx (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (/.f32 (-.f32 (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 #s(literal 2 binary32) (pow.f32 x #s(literal 4 binary32))) #s(literal 1/8 binary32))) #s(literal 1/16 binary32)) (pow.f32 x #s(literal 6 binary32))))
#s(approx (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)) (/.f32 #s(literal 1/16 binary32) (pow.f32 x #s(literal 6 binary32))))
#s(approx (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)) (/.f32 (+.f32 #s(literal 1/16 binary32) (*.f32 #s(literal 1/8 binary32) (pow.f32 x #s(literal 2 binary32)))) (pow.f32 x #s(literal 6 binary32))))
#s(approx (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (/.f32 #s(literal 1/16 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(approx (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (/.f32 (+.f32 #s(literal 1/16 binary32) (*.f32 #s(literal 1/8 binary32) (pow.f32 x #s(literal 2 binary32)))) (pow.f32 x #s(literal 2 binary32))))
#s(approx (/ 1 (pow x 2)) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(approx (pow x 2) (pow.f32 x #s(literal 2 binary32)))
#s(approx (pow x 4) (pow.f32 x #s(literal 4 binary32)))
#s(approx (* 1/2 (/ 1 (pow x 2))) (/.f32 #s(literal 1/2 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(approx (sqrt (- (* x x) 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 #s(literal 1/2 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 #s(literal -1 binary32))))))
#s(approx (sqrt (- (* x x) 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1/8 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (sqrt (- (* x x) 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (.f32 #s(literal 1/16 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x))
#s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 (-.f32 (pow.f32 x #s(literal 2 binary32)) #s(literal 1/2 binary32)) x))
#s(approx (+ (log 2) (* -1 (log (/ 1 x)))) (+.f32 (log.f32 #s(literal 2 binary32)) (log.f32 x)))
#s(approx (* -1 (log (/ 1 x))) (log.f32 x))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (*.f32 x (+.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (.f32 x (+.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal 1/2 binary32) (.f32 x (fma.f32 #s(literal -1 binary32) (/.f32 (pow.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (.f32 #s(literal 2 binary32) (/.f32 (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (sqrt.f32 #s(literal -1 binary32)))))) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (.f32 x (+.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (fma.f32 x (fma.f32 #s(literal 1/6 binary32) (.f32 x (fma.f32 #s(literal -6 binary32) (/.f32 (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32)))))) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (fma.f32 #s(literal 2 binary32) (/.f32 (pow.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) #s(literal 3 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (.f32 #s(literal 6 binary32) (/.f32 (-.f32 (fma.f32 #s(literal 1/16 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32))))) (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32)))))) (sqrt.f32 #s(literal -1 binary32))))))) (.f32 #s(literal 1/2 binary32) (fma.f32 #s(literal -1 binary32) (/.f32 (pow.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))) #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 2 binary32))) (.f32 #s(literal 2 binary32) (/.f32 (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (sqrt.f32 #s(literal -1 binary32))))))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (.f32 x (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 1/2 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal -1/8 binary32) (sqrt.f32 #s(literal -1 binary32)) (fma.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 x (-.f32 (fma.f32 #s(literal 1/16 binary32) (sqrt.f32 #s(literal -1 binary32)) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32))))) (fma.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))))))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))))))))))
#s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))
#s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))
#s(approx (+ x (pow (sqrt x) 2)) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)))
#s(approx (+ x (pow (sqrt x) 2)) (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))
#s(approx (sqrt x) (sqrt.f32 x))
#s(approx (* 1/2 (/ 1 (pow (sqrt x) 2))) (/.f32 #s(literal 1/2 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))
#s(approx (/ 1 (pow (sqrt x) 2)) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))) (.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (.f32 #s(literal 3/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 3/32 binary32) (.f32 #s(literal 5/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 #s(literal 2 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))) #s(literal 2 binary32))
#s(approx (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))) (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))) (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))) (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 4 binary32))))))
#s(approx (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))))
#s(approx (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4))) (/.f32 #s(literal -1/8 binary32) (pow.f32 x #s(literal 4 binary32))))
#s(approx (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4))) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))
#s(approx (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)) (/.f32 #s(literal 1/8 binary32) (pow.f32 x #s(literal 4 binary32))))
#s(approx (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))
#s(approx (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) #s(literal 1/8 binary32))
#s(approx (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (* -1 (log (/ 1 x))) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (*.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1 binary32) (*.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (-.f32 (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1 binary32) (.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (-.f32 (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (+.f32 (/.f32 #s(literal 1 binary32) (.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))) (.f32 #s(literal 1/3 binary32) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 x #s(literal 3 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32)))))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32)))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (*.f32 (pow.f32 x #s(literal 2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (/.f32 (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32)))))) (pow.f32 x #s(literal 4 binary32))) (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))
#s(approx (sqrt x) (*.f32 x (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))
#s(approx (* 1/2 (/ 1 (pow (sqrt x) 2))) (/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (/ 1 (pow (sqrt x) 2)) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (.f32 #s(literal 5/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 5/32 binary32) (.f32 #s(literal 11/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (/.f32 #s(literal 1/2 binary32) x))
#s(approx (+ x (sqrt (- (* x x) 1))) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) x))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))) #s(literal 1/2 binary32)) x)))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/16 binary32) (.f32 #s(literal 5/128 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))) (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) x)))
#s(approx (* x (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2))))) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))) #s(literal 2 binary32)))))
#s(approx (* x (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2))))) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (+.f32 (/.f32 #s(literal 1/8 binary32) (pow.f32 x #s(literal 4 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) #s(literal 2 binary32)))))
#s(approx (* x (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2))))) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (+.f32 (/.f32 #s(literal 1/8 binary32) (pow.f32 x #s(literal 4 binary32))) (fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 6 binary32)))))) #s(literal 2 binary32)))))
#s(approx (sqrt (- (* x x) 1)) (*.f32 #s(literal -1 binary32) x))
#s(approx (sqrt (- (* x x) 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 #s(literal -1 binary32) (.f32 x (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (sqrt (- (* x x) 1)) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (.f32 #s(literal -1 binary32) (.f32 x (-.f32 (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))) #s(literal 1 binary32)))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (*.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)) (/.f32 #s(literal 1 binary32) (*.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32))))) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))) x)))))
#s(approx (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))) (+.f32 (log.f32 (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (fma.f32 #s(literal -2 binary32) (log.f32 (/.f32 #s(literal -1 binary32) x)) (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal 1/3 binary32) (/.f32 #s(literal 1 binary32) (.f32 x (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 4 binary32))))) x)) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))) x)))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (/.f32 (-.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 x #s(literal 3 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))) #s(literal 1 binary32)) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (/.f32 (-.f32 (+.f32 (/.f32 #s(literal 1/8 binary32) (.f32 (pow.f32 x #s(literal 7 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 6 binary32)))) (/.f32 #s(literal 1/2 binary32) (*.f32 (pow.f32 x #s(literal 3 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))) #s(literal 1 binary32)) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)))))
#s(approx (sqrt x) (.f32 #s(literal -1 binary32) (.f32 x (sqrt.f32 (/.f32 #s(literal 1 binary32) x)))))

Calls

3 calls:

Time	Variable	Point
45.0ms	x	-inf
25.0ms	x	inf
21.0ms	x	0

rewrite249.0ms (8.6%)

Memory

23.9MiB live, 203.7MiB allocated; 96ms collecting garbage

Counts

40 → 140

Calls

Call 1

Inputs
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
#s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))
(.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))
x
(-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))
(+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))
#s(literal 2 binary32)
(.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))
#s(literal -1 binary32)
(/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))
(+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))
#s(literal 1/8 binary32)
(*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(literal 1/16 binary32)
(/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))
#s(literal 1 binary32)
(pow.f32 x #s(literal 2 binary32))
(pow.f32 x #s(literal 4 binary32))
#s(literal 4 binary32)
(*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))
#s(literal 1/2 binary32)
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))))
(+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x))))
#s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))
#s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x))
(/.f32 #s(literal -1/2 binary32) x)
#s(literal -1/2 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))))
(+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32))))
(log.f32 #s(literal 2 binary32))
#s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))
(log.f32 #s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) #s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))))
#s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) #s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)))))))
#s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))
(-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)))))
(+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)))
(pow.f32 (sqrt.f32 x) #s(literal 2 binary32))
(sqrt.f32 x)
(*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))
(/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32)))

Outputs
(log.f32 #s(approx -1 (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32))))))
#s(approx -1 (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 #s(literal 2 binary32) (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32))) (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (-.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32))) (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32))))
(.f32 (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))) (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
(.f32 #s(literal 2 binary32) (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32))) (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (-.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32))) (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32))))
(.f32 (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))) (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 #s(literal 2 binary32) (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32))) (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (-.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32))) (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32))))
(.f32 (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))) (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
(.f32 #s(literal 2 binary32) (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32))) (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (-.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32))) (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32))))
(.f32 (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))) (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
(.f32 #s(literal 2 binary32) (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32))) (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (-.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32))) (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(.f32 (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32))))
(.f32 (.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))) (*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (expm1.f32 (fma.f32 #s(literal 2 binary32) #s(literal 4 binary32) #s(literal 2 binary32)))))
(*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)))
(*.f32 (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)) #s(literal 2 binary32))
(*.f32 #s(literal 2 binary32) (-.f32 #s(literal 1/16 binary32) #s(literal 1/8 binary32)))
(*.f32 (+.f32 (fabs.f32 #s(literal 1/8 binary32)) #s(literal 1/16 binary32)) (-.f32 (fabs.f32 #s(literal 1/8 binary32)) #s(literal 1/16 binary32)))
(*.f32 (+.f32 (fabs.f32 #s(literal 1/8 binary32)) (fabs.f32 #s(literal 1/16 binary32))) (-.f32 (fabs.f32 #s(literal 1/8 binary32)) (fabs.f32 #s(literal 1/16 binary32))))
#s(literal 1/8 binary32)
#s(literal 1/16 binary32)
(*.f32 #s(literal 2 binary32) #s(literal 1/16 binary32))
(*.f32 #s(literal 1/16 binary32) #s(literal 2 binary32))
(+.f32 #s(literal 1/16 binary32) #s(literal 1/16 binary32))
(/.f32 #s(literal 1/16 binary32) #s(literal 2 binary32))
#s(literal 1/16 binary32)
(*.f32 #s(literal 2 binary32) #s(literal 1/16 binary32))
(*.f32 #s(literal 1/16 binary32) #s(literal 2 binary32))
(+.f32 #s(literal 1/16 binary32) #s(literal 1/16 binary32))
(/.f32 #s(literal 1/16 binary32) #s(literal 2 binary32))
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
(.f32 (exp.f32 (.f32 #s(literal 2 binary32) #s(literal 4 binary32))) (exp.f32 (*.f32 #s(literal 2 binary32) #s(literal 4 binary32))))
(.f32 (neg.f32 (exp.f32 (.f32 #s(literal 2 binary32) #s(literal 4 binary32)))) (neg.f32 (exp.f32 (*.f32 #s(literal 2 binary32) #s(literal 4 binary32)))))
(fabs.f32 (exp.f32 (*.f32 #s(literal 2 binary32) #s(literal 4 binary32))))
(fabs.f32 (neg.f32 (exp.f32 (*.f32 #s(literal 2 binary32) #s(literal 4 binary32)))))
(+.f32 (cosh.f32 (.f32 #s(literal 2 binary32) #s(literal 4 binary32))) (sinh.f32 (.f32 #s(literal 2 binary32) #s(literal 4 binary32))))
#s(literal 4 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
(log.f32 (+.f32 #s(literal 2 binary32) #s(approx -1 #s(approx -1 (/.f32 #s(literal -1/2 binary32) #s(literal 2 binary32))))))
(+.f32 #s(literal 2 binary32) #s(approx -1 #s(approx -1 (/.f32 #s(literal -1/2 binary32) #s(literal 2 binary32)))))
#s(approx -1 #s(approx -1 (/.f32 #s(literal -1/2 binary32) #s(literal 2 binary32))))
#s(approx -1 (/.f32 #s(literal -1/2 binary32) #s(literal 2 binary32)))
(/.f32 #s(literal -1/2 binary32) #s(literal 2 binary32))
(/.f32 (/.f32 #s(literal -1/2 binary32) #s(literal 2 binary32)) #s(literal 2 binary32))
(/.f32 (neg.f32 #s(literal -1/2 binary32)) #s(literal 2 binary32))
(neg.f32 (/.f32 #s(literal -1/2 binary32) #s(literal 2 binary32)))
#s(literal -1/2 binary32)
(neg.f32 (neg.f32 #s(literal -1/2 binary32)))
#s(approx -1 (+.f32 #s(literal 2 binary32) #s(approx -1 #s(literal 2 binary32))))
(+.f32 #s(literal 2 binary32) #s(approx -1 #s(literal 2 binary32)))
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
#s(approx -1 #s(literal 2 binary32))
(log.f32 #s(approx -1 #s(approx (pow -1 (+ -1 4)) #s(literal 2 binary32))))
#s(approx -1 #s(approx (pow -1 (+ -1 4)) #s(literal 2 binary32)))
#s(approx (pow -1 (+ -1 4)) #s(literal 2 binary32))
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)
#s(literal 2 binary32)
#s(literal -1 binary32)
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal 3 binary32)

eval26.0ms (0.9%)

Memory: -18.6MiB live, 25.8MiB allocated; 14ms collecting garbage
Compiler: Compiled 5 966 to 1 116 computations (81.3% saved)

prune7.0ms (0.3%)

Memory

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

Pruning

17 alts after pruning (6 fresh and 11 done)

	Pruned	Kept	Total
New	147	6	153
Fresh	0	0	0
Picked	2	3	5
Done	0	8	8
Total	149	17	166

Accuracy

100.0%

Counts

166 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	97.7%	(log.f32 (+.f32 x (*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))))
✓	97.7%	(log.f32 (+.f32 x (.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 #s(approx (+ x 1) (.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))))))
✓	48.4%	(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))
✓	48.4%	(log.f32 (+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))))
	44.3%	(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 (neg.f32 #s(literal -1/2 binary32)) #s(literal 2 binary32))))))
✓	44.1%	(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))))
	21.2%	(log.f32 (+.f32 #s(literal 3 binary32) #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) #s(literal 3 binary32))))))
	96.1%	(log.f32 #s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) #s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) #s(approx (* 1/2 (/ 1 (pow (sqrt x) 2))) (/.f32 #s(literal 1/2 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))))
	44.1%	(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) #s(approx (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)) (/.f32 (+.f32 #s(literal 1/16 binary32) (.f32 #s(literal 1/8 binary32) (pow.f32 x #s(literal 2 binary32)))) (pow.f32 x #s(literal 6 binary32)))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
✓	94.7%	(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
✓	96.1%	#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))
✓	21.6%	#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))))
	22.7%	#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx -1 #s(literal 2 binary32))))
	23.4%	#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 #s(literal 2 binary32) #s(approx -1 #s(literal 2 binary32))))
✓	22.3%	#s(literal 2 binary32)
✓	21.1%	#s(literal 1 binary32)
✓	20.2%	#s(literal 1/2 binary32)

Compiler

Compiled 330 to 242 computations (26.7% saved)

regimes146.0ms (5%)

Memory

7.0MiB live, 149.6MiB allocated; 49ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

2 → 1

3 → 1

5 → 1

10 → 1

11 → 1

12 → 2

13 → 2

15 → 1

23 → 1

Calls

Call 1

Inputs
#s(literal 1/2 binary32)

Outputs
#s(literal 1/2 binary32)

Call 2

Inputs
#s(literal 1/2 binary32)
#s(literal 1 binary32)

Outputs
#s(literal 1 binary32)

Call 3

Inputs
#s(literal 1/2 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)

Outputs
#s(literal 2 binary32)

Call 4

Inputs
#s(literal 1/2 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 #s(literal 2 binary32) #s(approx -1 #s(literal 2 binary32))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx -1 #s(literal 2 binary32))))

Outputs
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 #s(literal 2 binary32) #s(approx -1 #s(literal 2 binary32))))

Call 5

Inputs
#s(literal 1/2 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 #s(literal 2 binary32) #s(approx -1 #s(literal 2 binary32))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx -1 #s(literal 2 binary32))))
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
(log.f32 (+.f32 #s(literal 3 binary32) #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) #s(literal 3 binary32))))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 (neg.f32 #s(literal -1/2 binary32)) #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))))

Outputs
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))

Call 6

Inputs
#s(literal 1/2 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 #s(literal 2 binary32) #s(approx -1 #s(literal 2 binary32))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx -1 #s(literal 2 binary32))))
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
(log.f32 (+.f32 #s(literal 3 binary32) #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) #s(literal 3 binary32))))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 (neg.f32 #s(literal -1/2 binary32)) #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))

Outputs
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))

Call 7

Inputs
#s(literal 1/2 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 #s(literal 2 binary32) #s(approx -1 #s(literal 2 binary32))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx -1 #s(literal 2 binary32))))
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
(log.f32 (+.f32 #s(literal 3 binary32) #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) #s(literal 3 binary32))))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 (neg.f32 #s(literal -1/2 binary32)) #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))
(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))

Outputs

(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))

#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))

Call 8

Inputs
#s(literal 1/2 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 #s(literal 2 binary32) #s(approx -1 #s(literal 2 binary32))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx -1 #s(literal 2 binary32))))
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
(log.f32 (+.f32 #s(literal 3 binary32) #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) #s(literal 3 binary32))))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 (neg.f32 #s(literal -1/2 binary32)) #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))
(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))
(log.f32 (+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))))

Outputs
(log.f32 (+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))

Outputs

(log.f32 (+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))))

#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))

Call 9

Inputs
#s(literal 1/2 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 #s(literal 2 binary32) #s(approx -1 #s(literal 2 binary32))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx -1 #s(literal 2 binary32))))
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
(log.f32 (+.f32 #s(literal 3 binary32) #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) #s(literal 3 binary32))))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 (neg.f32 #s(literal -1/2 binary32)) #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))
(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))
(log.f32 (+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))))
(log.f32 (+.f32 x (*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))

Outputs
(log.f32 (+.f32 x (*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))))

Call 10

Inputs
#s(literal 1/2 binary32)
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 #s(literal 2 binary32) #s(approx -1 #s(literal 2 binary32))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx -1 #s(literal 2 binary32))))
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)))
(log.f32 (+.f32 #s(literal 3 binary32) #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) #s(literal 3 binary32))))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) #s(approx (* x (- 1 (* 1/2 (/ 1 (pow x 2))))) (/.f32 (neg.f32 #s(literal -1/2 binary32)) #s(literal 2 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 #s(literal 2 binary32)))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) #s(approx (* -1 (log (/ 1 x))) (log.f32 x))))
(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))
(log.f32 (+.f32 x (sqrt.f32 (*.f32 #s(literal 1 binary32) (fma.f32 x x #s(literal -1 binary32))))))
(log.f32 (+.f32 x (*.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 (+.f32 x #s(literal 1 binary32))))))
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))))
(log.f32 (+.f32 x (.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 #s(approx (+ x 1) (.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))))))
(log.f32 (+.f32 x #s(approx (sqrt (- (* x x) 1)) (.f32 x (-.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))))
(log.f32 #s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) #s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) #s(approx (* 1/2 (/ 1 (pow (sqrt x) 2))) (/.f32 #s(literal 1/2 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))))
(log.f32 #s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) #s(approx (* (pow x 2) (- (+ (/ 1 x) (pow (sqrt (/ 1 x)) 2)) (/ 1/2 (* (pow x 4) (pow (sqrt (/ 1 x)) 2))))) (-.f32 (+.f32 x (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 x) #s(literal 2 binary32))))))))
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) #s(approx (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)) (/.f32 (+.f32 #s(literal 1/16 binary32) (.f32 #s(literal 1/8 binary32) (pow.f32 x #s(literal 2 binary32)))) (pow.f32 x #s(literal 6 binary32)))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))))
(log.f32 #s(approx (+ x (* (sqrt (- x 1)) (sqrt (+ x 1)))) (.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) x) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32))))))))
(log.f32 (+.f32 x (.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) #s(approx (sqrt (+ x 1)) (.f32 x (-.f32 (+.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) (/.f32 #s(literal 1/2 binary32) (.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) x))))) (/.f32 #s(literal 1/8 binary32) (.f32 (pow.f32 x #s(literal 4 binary32)) (pow.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) x)) #s(literal 3 binary32))))))))))

Outputs
(log.f32 (+.f32 x (.f32 (sqrt.f32 (-.f32 x #s(literal 1 binary32))) (sqrt.f32 #s(approx (+ x 1) (.f32 x (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) x))))))))

Calls

30 calls:

17.0ms	(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))
6.0ms	x
6.0ms	(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))
6.0ms	(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))
5.0ms	(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))

Results

Accuracy	Segments	Branch
20.2%	1	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`
20.2%	1	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`
20.2%	1	`x`
21.1%	1	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`
21.1%	1	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`
21.1%	1	`x`
22.3%	1	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`
22.3%	1	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`
22.3%	1	`x`
23.4%	1	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`
23.4%	1	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`
23.4%	1	`x`
94.7%	1	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`
94.7%	1	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`
94.7%	1	`x`
96.1%	1	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`
96.1%	1	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`
96.1%	1	`x`
99.4%	2	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`
99.4%	2	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`
99.4%	2	`x`
99.4%	2	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`
99.4%	2	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`
99.4%	2	`x`
97.7%	1	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`
97.7%	1	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`
97.7%	1	`x`
97.7%	1	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`
97.7%	1	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`
97.7%	1	`x`

Compiler

Compiled 726 to 318 computations (56.2% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
0.0ms	14637467347581927000.0	2.363082924848736e+19

Compiler

Compiled 12 to 11 computations (8.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
0.0ms	14637467347581927000.0	2.363082924848736e+19

Compiler

Compiled 12 to 11 computations (8.3% saved)

derivations3.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 156 to 56 computations (64.1% saved)

preprocess90.0ms (3.1%)

Memory: -7.2MiB live, 133.9MiB allocated; 13ms collecting garbage
Compiler: Compiled 177 to 72 computations (59.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample542.0ms (18.6%)

preprocess67.0ms (2.3%)

series137.0ms (4.7%)

rewrite193.0ms (6.7%)

eval18.0ms (0.6%)

prune7.0ms (0.3%)

series370.0ms (12.7%)

rewrite178.0ms (6.1%)

eval19.0ms (0.6%)

prune12.0ms (0.4%)

series345.0ms (11.9%)

rewrite214.0ms (7.4%)

eval16.0ms (0.6%)

prune6.0ms (0.2%)

series261.0ms (9%)

rewrite249.0ms (8.6%)

eval26.0ms (0.9%)

prune7.0ms (0.3%)

regimes146.0ms (5%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

derivations3.0ms (0.1%)

preprocess90.0ms (3.1%)

end0.0ms (0%)

Profiling