Metrics for Hyperbolic arc-cosine

start0.0ms (0%)

Memory: 0.1MiB live, 0.0MiB allocated

analyze85.0ms (1.7%)

Memory

12.2MiB live, 90.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	100%	0%	0%	0%	0%	3
16.7%	12.5%	62.5%	0%	0%	25%	0%	4
30%	18.7%	43.7%	0%	0%	37.5%	0%	5
38.9%	21.9%	34.4%	0%	0%	43.7%	0%	6
44.1%	23.4%	29.7%	0%	0%	46.9%	0%	7
47%	24.2%	27.3%	0%	0%	48.4%	0%	8
48.5%	24.6%	26.2%	0%	0%	49.2%	0%	9
49.2%	24.8%	25.6%	0%	0%	49.6%	0%	10
49.6%	24.9%	25.3%	0%	0%	49.8%	0%	11
49.8%	24.9%	25.1%	0%	0%	49.9%	0%	12

Compiler

Compiled 11 to 9 computations (18.2% saved)

sample2.2s (42.9%)

Memory

54.1MiB live, 3 040.5MiB allocated

Samples

980.0ms	7 302×	1	invalid
583.0ms	8 256×	0	valid
68.0ms	1 224×	0	invalid

Precisions

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

ival-log: 260.0ms (22.3% of total)

ival-sqrt: 249.0ms (21.4% of total)

ival-mult: 173.0ms (14.9% of total)

ival-sub: 154.0ms (13.2% of total)

ival-add: 151.0ms (13% of total)

adjust: 150.0ms (12.9% of total)

ival-true: 11.0ms (0.9% of total)

exact: 10.0ms (0.9% of total)

ival-assert: 6.0ms (0.5% of total)

Bogosity

explain159.0ms (3.1%)

Memory

-4.3MiB live, 90.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
130	-	-	`(sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))`
0	-	-	`(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))`
0	-	-	`(*.f64 x x)`
0	-	-	`(-.f64 (*.f64 x x) #s(literal 1 binary64))`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))`	oflow-rescue	130	0
↳	`(-.f64 (*.f64 x x) #s(literal 1 binary64))`	overflow	130
↳	`(*.f64 x x)`	overflow	130

Confusion

	Predicted +	Predicted -
+	130	0
-	0	126

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	130	0	0
-	0	0	126

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	126
1	130

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

33.0ms

512×

valid

Compiler

Compiled 112 to 32 computations (71.4% saved)

Precisions

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

ival-log: 6.0ms (29.4% of total)

ival-mult: 4.0ms (19.6% of total)

ival-sqrt: 4.0ms (19.6% of total)

ival-sub: 3.0ms (14.7% of total)

ival-add: 3.0ms (14.7% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess466.0ms (9%)

Memory

13.5MiB live, 202.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	27	19
2	59	19
3	130	19
4	295	19
5	579	19
6	1088	19
7	1677	19
8	3021	19
9	4118	19
10	5059	19
11	5487	19
12	5727	19
13	5799	19
14	5883	19
15	6475	19
16	7565	19
17	7621	19
18	7719	19
19	7753	19
20	7769	19
0	7	9
0	12	9
1	21	9
2	25	9
3	40	9
4	71	9
5	132	9
6	292	9
7	572	9
8	2045	9
9	3155	9
10	4433	9
11	5106	9
12	5408	9
13	5593	9
14	5695	9
15	6014	9
16	6560	9
17	7671	9
0	8091	8

Stop Event

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

Calls

Call 1

Inputs
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))

Outputs
(log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x))

Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	50.8%	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify456.0ms (8.9%)

Memory

-27.0MiB live, 129.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))
cost-diff	0	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))
cost-diff	0	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
cost-diff	128	(-.f64 (*.f64 x x) #s(literal 1 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	33
0	12	33
1	21	33
2	25	33
3	40	33
4	71	33
5	132	33
6	292	33
7	572	33
8	2045	33
9	3155	33
10	4433	33
11	5106	33
12	5408	33
13	5593	33
14	5695	33
15	6014	33
16	6560	33
17	7671	33
0	8091	29

Stop Event

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

Calls

Call 1

Inputs
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))
x
(sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))
(-.f64 (*.f64 x x) #s(literal 1 binary64))
(*.f64 x x)
#s(literal 1 binary64)

Outputs
(log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x))
(+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)
x
(sqrt.f64 (fma.f64 x x #s(literal -1 binary64)))
(fma.f64 x x #s(literal -1 binary64))
(*.f64 x x)
#s(literal 1 binary64)

localize22.0ms (0.4%)

Memory

24.7MiB live, 24.7MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x x)
accuracy	0.00390625	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
accuracy	0.0078125	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))
accuracy	30.258593167821303	(sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))

Samples

16.0ms

256×

valid

Compiler

Compiled 68 to 16 computations (76.5% saved)

Precisions

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

ival-log: 3.0ms (31.1% of total)

ival-mult: 2.0ms (20.7% of total)

ival-sqrt: 2.0ms (20.7% of total)

ival-sub: 1.0ms (10.4% of total)

ival-add: 1.0ms (10.4% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series7.0ms (0.1%)

Memory

5.4MiB live, 5.4MiB allocated

Counts

5 → 60

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	((- (* x x) 1) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (* x x))
2.0ms	x	@	inf	((- (* x x) 1) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (* x x))
2.0ms	x	@	-inf	((- (* x x) 1) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (* x x))

Time

Variable

Point

Expression

2.0ms

((- (* x x) 1) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (* x x))

2.0ms

inf

((- (* x x) 1) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (* x x))

2.0ms

-inf

((- (* x x) 1) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (* x x))

simplify284.0ms (5.5%)

Memory

-27.2MiB live, 95.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	150	595
1	411	569
2	1146	562
3	3331	524
4	7980	524
0	8533	495

Stop Event

1×	iter limit
1×	node limit

Counts

60 → 59

Calls

Call 1

Inputs
-1
(- (pow x 2) 1)
(- (pow x 2) 1)
(- (pow x 2) 1)
(log (sqrt -1))
(+ (log (sqrt -1)) (/ x (sqrt -1)))
(+ (log (sqrt -1)) (* x (+ (* -1/6 (/ (pow x 2) (pow (sqrt -1) 3))) (/ 1 (sqrt -1)))))
(+ (log (sqrt -1)) (* x (+ (* (pow x 2) (- (* 3/40 (/ (pow x 2) (pow (sqrt -1) 5))) (* 1/6 (/ 1 (pow (sqrt -1) 3))))) (/ 1 (sqrt -1)))))
(sqrt -1)
(+ x (sqrt -1))
(+ (sqrt -1) (* x (+ 1 (* 1/2 (/ x (sqrt -1))))))
(+ (sqrt -1) (* x (+ 1 (* x (+ (* -1/8 (/ (pow x 2) (pow (sqrt -1) 3))) (* 1/2 (/ 1 (sqrt -1))))))))
(sqrt -1)
(+ (sqrt -1) (* 1/2 (/ (pow x 2) (sqrt -1))))
(+ (sqrt -1) (* (pow x 2) (+ (* -1/8 (/ (pow x 2) (pow (sqrt -1) 3))) (* 1/2 (/ 1 (sqrt -1))))))
(+ (sqrt -1) (* (pow x 2) (+ (* (pow x 2) (- (* 1/16 (/ (pow x 2) (pow (sqrt -1) 5))) (* 1/8 (/ 1 (pow (sqrt -1) 3))))) (* 1/2 (/ 1 (sqrt -1))))))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* (pow x 2) (- 1 (/ 1 (pow x 2))))
(* (pow x 2) (- 1 (/ 1 (pow x 2))))
(* (pow x 2) (- 1 (/ 1 (pow x 2))))
(+ (log 2) (* -1 (log (/ 1 x))))
(- (+ (log 2) (* -1 (log (/ 1 x)))) (* 1/4 (/ 1 (pow x 2))))
(+ (log 2) (+ (* -1 (log (/ 1 x))) (* -1 (/ (+ 1/4 (* 3/32 (/ 1 (pow x 2)))) (pow x 2)))))
(- (+ (log 2) (+ (* -1 (log (/ 1 x))) (* -1 (/ (+ 3/32 (* 5/96 (/ 1 (pow x 2)))) (pow x 4))))) (* 1/4 (/ 1 (pow x 2))))
(* 2 x)
(* x (- 2 (* 1/2 (/ 1 (pow x 2)))))
(* x (+ 2 (* -1 (/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (pow x 2)))))
(* x (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))))
x
(* x (- 1 (* 1/2 (/ 1 (pow x 2)))))
(* x (+ 1 (* -1 (/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (pow x 2)))))
(* x (- (+ 1 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* (pow x 2) (- 1 (/ 1 (pow x 2))))
(* (pow x 2) (- 1 (/ 1 (pow x 2))))
(* (pow x 2) (- 1 (/ 1 (pow x 2))))
(+ (log -1/2) (log (/ -1 x)))
(+ (log -1/2) (+ (log (/ -1 x)) (* 1/4 (/ 1 (pow x 2)))))
(+ (log -1/2) (+ (log (/ -1 x)) (+ (/ 3/32 (pow x 4)) (* 1/4 (/ 1 (pow x 2))))))
(+ (log -1/2) (+ (log (/ -1 x)) (+ (/ 3/32 (pow x 4)) (+ (* 1/4 (/ 1 (pow x 2))) (* 5/96 (/ 1 (pow x 6)))))))
(/ 1/2 x)
(/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) x)
(* -1 (/ (- (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 2))) 1/2) x))
(* -1 (/ (- (* -1 (/ (+ 1/16 (* 5/128 (/ 1 (pow x 2)))) (pow x 4))) (+ 1/2 (* 1/8 (/ 1 (pow x 2))))) x))
(* -1 x)
(* -1 (* x (- 1 (* 1/2 (/ 1 (pow x 2))))))
(* -1 (* x (+ 1 (* -1 (/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (pow x 2))))))
(* -1 (* x (- (+ 1 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2))))))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)

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

rewrite233.0ms (4.5%)

Memory

9.1MiB live, 116.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	31
0	12	31
1	49	31
2	322	31
3	3626	31
0	8646	27

Stop Event

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

Counts

5 → 328

Calls

Call 1

Inputs
(-.f64 (*.f64 x x) #s(literal 1 binary64))
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))
(sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))
(*.f64 x x)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval148.0ms (2.9%)

Memory: 4.6MiB live, 129.0MiB allocated
Compiler: Compiled 8 587 to 1 618 computations (81.2% saved)

prune6.0ms (0.1%)

Memory

21.6MiB live, 21.6MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	384	3	387
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	385	3	388

Accuracy

100.0%

Counts

388 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	50.8%	(log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x))
▶	100.0%	(log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))))
▶	99.5%	(log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)))

Status

Accuracy

Program

▶

50.8%

(log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x))

▶

100.0%

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

▶

99.5%

(log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)))

Compiler

Compiled 36 to 27 computations (25% saved)

simplify264.0ms (5.1%)

Memory

-34.2MiB live, 166.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(fma.f64 x x #s(literal -1 binary64))
cost-diff	0	(sqrt.f64 (fma.f64 x x #s(literal -1 binary64)))
cost-diff	0	(+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)
cost-diff	0	(log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x))
cost-diff	0	(-.f64 x (/.f64 #s(literal 1/2 binary64) x))
cost-diff	0	#s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))
cost-diff	0	(+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))
cost-diff	0	(log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))))
cost-diff	0	(*.f64 #s(literal 2 binary64) x)
cost-diff	0	#s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))
cost-diff	0	(log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	107
0	31	102
1	46	102
2	57	102
3	81	102
4	122	102
5	246	102
6	521	102
7	1078	102
8	2687	102
9	4393	102
10	5439	102
11	5884	102
12	5992	102
13	6071	102
14	6147	102
15	6869	102
16	7525	102
17	7957	102
0	8005	102

Stop Event

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

Calls

Call 1

Inputs
(log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)))
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))))
(+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))
x
#s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))
(-.f64 x (/.f64 #s(literal 1/2 binary64) x))
(/.f64 #s(literal 1/2 binary64) x)
#s(literal 1/2 binary64)
(log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x))
(+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)
(sqrt.f64 (fma.f64 x x #s(literal -1 binary64)))
(fma.f64 x x #s(literal -1 binary64))
x
#s(literal -1 binary64)

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

localize74.0ms (1.4%)

Memory

19.3MiB live, 100.2MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 x x #s(literal -1 binary64))
accuracy	0.00390625	(log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x))
accuracy	0.0078125	(+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)
accuracy	30.258593167821303	(sqrt.f64 (fma.f64 x x #s(literal -1 binary64)))
accuracy	0	(-.f64 x (/.f64 #s(literal 1/2 binary64) x))
accuracy	0.00390625	(log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))))
accuracy	0.0078125	(+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))
accuracy	0.024765039073768067	#s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))
accuracy	0	(*.f64 #s(literal 2 binary64) x)
accuracy	0.00390625	(log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)))
accuracy	0.3753480307636206	#s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))

Samples

62.0ms

256×

valid

Compiler

Compiled 194 to 40 computations (79.4% saved)

Precisions

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

ival-sub: 30.0ms (61% of total)

ival-log: 6.0ms (12.2% of total)

ival-add: 4.0ms (8.1% of total)

ival-mult: 4.0ms (8.1% of total)

ival-sqrt: 4.0ms (8.1% of total)

ival-div: 2.0ms (4.1% of total)

exact: 1.0ms (2% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

series8.0ms (0.2%)

Memory

15.0MiB live, 15.0MiB allocated

Counts

11 → 132

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x (/.f64 #s(literal 1/2 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x x #s(literal -1 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	((log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (* 2 x) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (- x (/ 1/2 x)) (log (+ (sqrt (+ (* x x) -1)) x)) (+ (sqrt (+ (* x x) -1)) x) (sqrt (+ (* x x) -1)) (+ (* x x) -1))
1.0ms	x	@	inf	((log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (* 2 x) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (- x (/ 1/2 x)) (log (+ (sqrt (+ (* x x) -1)) x)) (+ (sqrt (+ (* x x) -1)) x) (sqrt (+ (* x x) -1)) (+ (* x x) -1))
1.0ms	x	@	0	((log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (* 2 x) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (- x (/ 1/2 x)) (log (+ (sqrt (+ (* x x) -1)) x)) (+ (sqrt (+ (* x x) -1)) x) (sqrt (+ (* x x) -1)) (+ (* x x) -1))

Time

Variable

Point

Expression

1.0ms

-inf

((log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (* 2 x) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (- x (/ 1/2 x)) (log (+ (sqrt (+ (* x x) -1)) x)) (+ (sqrt (+ (* x x) -1)) x) (sqrt (+ (* x x) -1)) (+ (* x x) -1))

1.0ms

inf

((log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (* 2 x) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (- x (/ 1/2 x)) (log (+ (sqrt (+ (* x x) -1)) x)) (+ (sqrt (+ (* x x) -1)) x) (sqrt (+ (* x x) -1)) (+ (* x x) -1))

1.0ms

((log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (* 2 x) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (- x (/ 1/2 x)) (log (+ (sqrt (+ (* x x) -1)) x)) (+ (sqrt (+ (* x x) -1)) x) (sqrt (+ (* x x) -1)) (+ (* x x) -1))

simplify143.0ms (2.8%)

Memory

-16.9MiB live, 173.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	156	1505
1	425	1435
2	1185	1385
3	3464	1315
0	8278	1254

Stop Event

1×	iter limit
1×	node limit

Counts

132 → 128

Calls

Call 1

Inputs
(log (sqrt -1))
(+ (log (sqrt -1)) (/ x (sqrt -1)))
(+ (log (sqrt -1)) (* x (+ (* -1/6 (/ (pow x 2) (pow (sqrt -1) 3))) (/ 1 (sqrt -1)))))
(+ (log (sqrt -1)) (* x (+ (* (pow x 2) (- (* 3/40 (/ (pow x 2) (pow (sqrt -1) 5))) (* 1/6 (/ 1 (pow (sqrt -1) 3))))) (/ 1 (sqrt -1)))))
(sqrt -1)
(+ x (sqrt -1))
(+ (sqrt -1) (* x (+ 1 (* 1/2 (/ x (sqrt -1))))))
(+ (sqrt -1) (* x (+ 1 (* x (+ (* -1/8 (/ (pow x 2) (pow (sqrt -1) 3))) (* 1/2 (/ 1 (sqrt -1))))))))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(log (sqrt -1))
(+ (log (sqrt -1)) (/ x (sqrt -1)))
(+ (log (sqrt -1)) (* x (+ (* -1/6 (/ (pow x 2) (pow (sqrt -1) 3))) (/ 1 (sqrt -1)))))
(+ (log (sqrt -1)) (* x (+ (* (pow x 2) (- (* 3/40 (/ (pow x 2) (pow (sqrt -1) 5))) (* 1/6 (/ 1 (pow (sqrt -1) 3))))) (/ 1 (sqrt -1)))))
(sqrt -1)
(+ x (sqrt -1))
(+ (sqrt -1) (* x (+ 1 (* 1/2 (/ x (sqrt -1))))))
(+ (sqrt -1) (* x (+ 1 (* x (+ (* -1/8 (/ (pow x 2) (pow (sqrt -1) 3))) (* 1/2 (/ 1 (sqrt -1))))))))
(sqrt -1)
(+ (sqrt -1) (* 1/2 (/ (pow x 2) (sqrt -1))))
(+ (sqrt -1) (* (pow x 2) (+ (* -1/8 (/ (pow x 2) (pow (sqrt -1) 3))) (* 1/2 (/ 1 (sqrt -1))))))
(+ (sqrt -1) (* (pow x 2) (+ (* (pow x 2) (- (* 1/16 (/ (pow x 2) (pow (sqrt -1) 5))) (* 1/8 (/ 1 (pow (sqrt -1) 3))))) (* 1/2 (/ 1 (sqrt -1))))))
(/ -1/2 x)
(/ (- (pow x 2) 1/2) x)
(/ (- (pow x 2) 1/2) x)
(/ (- (pow x 2) 1/2) x)
(log (sqrt -1))
(+ (log (sqrt -1)) (/ x (sqrt -1)))
(+ (log (sqrt -1)) (* x (+ (* -1/6 (/ (pow x 2) (pow (sqrt -1) 3))) (/ 1 (sqrt -1)))))
(+ (log (sqrt -1)) (* x (+ (* (pow x 2) (- (* 3/40 (/ (pow x 2) (pow (sqrt -1) 5))) (* 1/6 (/ 1 (pow (sqrt -1) 3))))) (/ 1 (sqrt -1)))))
(sqrt -1)
(+ x (sqrt -1))
(+ (sqrt -1) (* x (+ 1 (* 1/2 (/ x (sqrt -1))))))
(+ (sqrt -1) (* x (+ 1 (* x (+ (* -1/8 (/ (pow x 2) (pow (sqrt -1) 3))) (* 1/2 (/ 1 (sqrt -1))))))))
(sqrt -1)
(+ (sqrt -1) (* 1/2 (/ (pow x 2) (sqrt -1))))
(+ (sqrt -1) (* (pow x 2) (+ (* -1/8 (/ (pow x 2) (pow (sqrt -1) 3))) (* 1/2 (/ 1 (sqrt -1))))))
(+ (sqrt -1) (* (pow x 2) (+ (* (pow x 2) (- (* 1/16 (/ (pow x 2) (pow (sqrt -1) 5))) (* 1/8 (/ 1 (pow (sqrt -1) 3))))) (* 1/2 (/ 1 (sqrt -1))))))
-1
(- (pow x 2) 1)
(- (pow x 2) 1)
(- (pow x 2) 1)
(+ (log 2) (* -1 (log (/ 1 x))))
(- (+ (log 2) (* -1 (log (/ 1 x)))) (* 1/4 (/ 1 (pow x 2))))
(+ (log 2) (+ (* -1 (log (/ 1 x))) (* -1 (/ (+ 1/4 (* 3/32 (/ 1 (pow x 2)))) (pow x 2)))))
(- (+ (log 2) (+ (* -1 (log (/ 1 x))) (* -1 (/ (+ 3/32 (* 5/96 (/ 1 (pow x 2)))) (pow x 4))))) (* 1/4 (/ 1 (pow x 2))))
(* 2 x)
(* x (- 2 (* 1/2 (/ 1 (pow x 2)))))
(* x (+ 2 (* -1 (/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (pow x 2)))))
(* x (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(+ (log 2) (* -1 (log (/ 1 x))))
(- (+ (log 2) (* -1 (log (/ 1 x)))) (* 1/4 (/ 1 (pow x 2))))
(+ (log 2) (+ (* -1 (log (/ 1 x))) (* -1 (/ (+ 1/4 (* 3/32 (/ 1 (pow x 2)))) (pow x 2)))))
(- (+ (log 2) (+ (* -1 (log (/ 1 x))) (* -1 (/ (+ 3/32 (* 5/96 (/ 1 (pow x 2)))) (pow x 4))))) (* 1/4 (/ 1 (pow x 2))))
(* 2 x)
(* x (- 2 (* 1/2 (/ 1 (pow x 2)))))
(* x (+ 2 (* -1 (/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (pow x 2)))))
(* x (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))))
x
(* x (- 1 (* 1/2 (/ 1 (pow x 2)))))
(* x (+ 1 (* -1 (/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (pow x 2)))))
(* x (- (+ 1 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))))
x
(* x (- 1 (* 1/2 (/ 1 (pow x 2)))))
(* x (- 1 (* 1/2 (/ 1 (pow x 2)))))
(* x (- 1 (* 1/2 (/ 1 (pow x 2)))))
(+ (log 2) (* -1 (log (/ 1 x))))
(- (+ (log 2) (* -1 (log (/ 1 x)))) (* 1/4 (/ 1 (pow x 2))))
(+ (log 2) (+ (* -1 (log (/ 1 x))) (* -1 (/ (+ 1/4 (* 3/32 (/ 1 (pow x 2)))) (pow x 2)))))
(- (+ (log 2) (+ (* -1 (log (/ 1 x))) (* -1 (/ (+ 3/32 (* 5/96 (/ 1 (pow x 2)))) (pow x 4))))) (* 1/4 (/ 1 (pow x 2))))
(* 2 x)
(* x (- 2 (* 1/2 (/ 1 (pow x 2)))))
(* x (+ 2 (* -1 (/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (pow x 2)))))
(* x (- (+ 2 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))))
x
(* x (- 1 (* 1/2 (/ 1 (pow x 2)))))
(* x (+ 1 (* -1 (/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (pow x 2)))))
(* x (- (+ 1 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2)))))
(pow x 2)
(* (pow x 2) (- 1 (/ 1 (pow x 2))))
(* (pow x 2) (- 1 (/ 1 (pow x 2))))
(* (pow x 2) (- 1 (/ 1 (pow x 2))))
(+ (log -1/2) (log (/ -1 x)))
(+ (log -1/2) (+ (log (/ -1 x)) (* 1/4 (/ 1 (pow x 2)))))
(+ (log -1/2) (+ (log (/ -1 x)) (+ (/ 3/32 (pow x 4)) (* 1/4 (/ 1 (pow x 2))))))
(+ (log -1/2) (+ (log (/ -1 x)) (+ (/ 3/32 (pow x 4)) (+ (* 1/4 (/ 1 (pow x 2))) (* 5/96 (/ 1 (pow x 6)))))))
(/ 1/2 x)
(/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) x)
(* -1 (/ (- (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 2))) 1/2) x))
(* -1 (/ (- (* -1 (/ (+ 1/16 (* 5/128 (/ 1 (pow x 2)))) (pow x 4))) (+ 1/2 (* 1/8 (/ 1 (pow x 2))))) x))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(+ (log -1/2) (log (/ -1 x)))
(+ (log -1/2) (+ (log (/ -1 x)) (* 1/4 (/ 1 (pow x 2)))))
(+ (log -1/2) (+ (log (/ -1 x)) (+ (/ 3/32 (pow x 4)) (* 1/4 (/ 1 (pow x 2))))))
(+ (log -1/2) (+ (log (/ -1 x)) (+ (/ 3/32 (pow x 4)) (+ (* 1/4 (/ 1 (pow x 2))) (* 5/96 (/ 1 (pow x 6)))))))
(/ 1/2 x)
(/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) x)
(* -1 (/ (- (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 2))) 1/2) x))
(* -1 (/ (- (* -1 (/ (+ 1/16 (* 5/128 (/ 1 (pow x 2)))) (pow x 4))) (+ 1/2 (* 1/8 (/ 1 (pow x 2))))) x))
(* -1 x)
(* -1 (* x (- 1 (* 1/2 (/ 1 (pow x 2))))))
(* -1 (* x (+ 1 (* -1 (/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (pow x 2))))))
(* -1 (* x (- (+ 1 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2))))))
x
(* -1 (* x (- (* 1/2 (/ 1 (pow x 2))) 1)))
(* -1 (* x (- (* 1/2 (/ 1 (pow x 2))) 1)))
(* -1 (* x (- (* 1/2 (/ 1 (pow x 2))) 1)))
(+ (log -1/2) (log (/ -1 x)))
(+ (log -1/2) (+ (log (/ -1 x)) (* 1/4 (/ 1 (pow x 2)))))
(+ (log -1/2) (+ (log (/ -1 x)) (+ (/ 3/32 (pow x 4)) (* 1/4 (/ 1 (pow x 2))))))
(+ (log -1/2) (+ (log (/ -1 x)) (+ (/ 3/32 (pow x 4)) (+ (* 1/4 (/ 1 (pow x 2))) (* 5/96 (/ 1 (pow x 6)))))))
(/ 1/2 x)
(/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) x)
(* -1 (/ (- (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 2))) 1/2) x))
(* -1 (/ (- (* -1 (/ (+ 1/16 (* 5/128 (/ 1 (pow x 2)))) (pow x 4))) (+ 1/2 (* 1/8 (/ 1 (pow x 2))))) x))
(* -1 x)
(* -1 (* x (- 1 (* 1/2 (/ 1 (pow x 2))))))
(* -1 (* x (+ 1 (* -1 (/ (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (pow x 2))))))
(* -1 (* x (- (+ 1 (* -1 (/ (+ 1/8 (* 1/16 (/ 1 (pow x 2)))) (pow x 4)))) (* 1/2 (/ 1 (pow x 2))))))
(pow x 2)
(* (pow x 2) (- 1 (/ 1 (pow x 2))))
(* (pow x 2) (- 1 (/ 1 (pow x 2))))
(* (pow x 2) (- 1 (/ 1 (pow x 2))))

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

rewrite206.0ms (4%)

Memory

-14.8MiB live, 252.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	98
0	31	93
1	125	93
2	836	93
0	8500	93

Stop Event

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

Counts

11 → 419

Calls

Call 1

Inputs
(log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)))
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
(log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))))
(+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x))))
#s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))
(-.f64 x (/.f64 #s(literal 1/2 binary64) x))
(log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x))
(+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)
(sqrt.f64 (fma.f64 x x #s(literal -1 binary64)))
(fma.f64 x x #s(literal -1 binary64))

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval76.0ms (1.5%)

Memory: -9.4MiB live, 179.1MiB allocated
Compiler: Compiled 15 390 to 2 137 computations (86.1% saved)

prune12.0ms (0.2%)

Memory

3.7MiB live, 42.3MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	547	0	547
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	547	3	550

Accuracy

100.0%

Counts

550 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

50.8%

(log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x))

✓

100.0%

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

✓

99.5%

(log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)))

Compiler

Compiled 81 to 54 computations (33.3% saved)

regimes6.0ms (0.1%)

Memory

18.7MiB live, 18.7MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
(log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)))
(log.f64 (+.f64 x #s(approx (sqrt (- (* x x) 1)) (-.f64 x (/.f64 #s(literal 1/2 binary64) x)))))
(log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x))
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))

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

Calls

3 calls:

2.0ms	x
2.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))
2.0ms	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))`
100.0%	1	`(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))`

Compiler

Compiled 18 to 14 computations (22.2% saved)

regimes4.0ms (0.1%)

Memory

12.4MiB live, 12.4MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(log.f64 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f64 #s(literal 2 binary64) x)))

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

Calls

3 calls:

1.0ms	x
1.0ms	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
1.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))

Results

Accuracy	Segments	Branch
99.5%	1	`x`
99.5%	1	`(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))`
99.5%	1	`(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))`

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify30.0ms (0.6%)

Memory

-11.7MiB live, 70.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	28
1	23	28
2	31	28
3	37	28
4	42	28
5	44	28

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness194.0ms (3.8%)

Memory

-27.6MiB live, 143.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	150	595
1	411	569
2	1146	562
3	3331	524
4	7980	524
0	8533	495

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 32 to 21 computations (34.4% saved)

preprocess53.0ms (1%)

Memory: 17.0MiB live, 56.3MiB allocated
Compiler: Compiled 74 to 46 computations (37.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze85.0ms (1.7%)

sample2.2s (42.9%)

explain159.0ms (3.1%)

preprocess466.0ms (9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify456.0ms (8.9%)

localize22.0ms (0.4%)

series7.0ms (0.1%)

simplify284.0ms (5.5%)

rewrite233.0ms (4.5%)

eval148.0ms (2.9%)

prune6.0ms (0.1%)

simplify264.0ms (5.1%)

localize74.0ms (1.4%)

series8.0ms (0.2%)

simplify143.0ms (2.8%)

rewrite206.0ms (4%)

eval76.0ms (1.5%)

prune12.0ms (0.2%)

regimes6.0ms (0.1%)

regimes4.0ms (0.1%)

simplify30.0ms (0.6%)

soundness194.0ms (3.8%)

preprocess53.0ms (1%)

end0.0ms (0%)

Profiling