Metrics for xlohi (overflows)

analyze1.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 17 to 11 computations (35.3% saved)

Precisions

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

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Operation ival-div, time spent: 0.0ms, 0.0% of total-time

Operation ival-and, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

Operation ival->, time spent: 0.0ms, 0.0% of total-time

Operation ival-<, time spent: 0.0ms, 0.0% of total-time

sample1.4s (18.7%)

Results

1.1s	8255×	256	valid
0.0ms	1×	256	valid

Precisions

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

Operation ival-sub, time spent: 127.0ms, 42.0% of total-time

Operation ival-div, time spent: 72.0ms, 24.0% of total-time

Operation ival-<, time spent: 46.0ms, 15.0% of total-time

Operation ival->, time spent: 32.0ms, 11.0% of total-time

Operation const, time spent: 14.0ms, 5.0% of total-time

Operation ival-and, time spent: 12.0ms, 4.0% of total-time

Bogosity

preprocess244.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1508×	`fma-neg`
676×	`times-frac`
420×	`div-sub`
318×	`unsub-neg`
278×	`fma-define`

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
256	-	-	`(/.f64 (-.f64 x lo) (-.f64 hi lo))`
0	-	-	`x`
0	-	-	`hi`
0	-	-	`(-.f64 x lo)`
0	-	-	`lo`
0	-	-	`(-.f64 hi lo)`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	33	385
1	90	361
2	208	353
3	598	345
4	1443	345
5	2874	345
6	3293	345
7	3415	345
8	3495	345
9	3524	345
10	3544	345

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(/.f64 (-.f64 x (neg.f64 lo)) (-.f64 hi (neg.f64 lo)))
(/.f64 (-.f64 x lo) (-.f64 (neg.f64 hi) lo))
(/.f64 (-.f64 (neg.f64 x) lo) (-.f64 hi lo))
(neg.f64 (/.f64 (-.f64 x (neg.f64 lo)) (-.f64 hi (neg.f64 lo))))
(neg.f64 (/.f64 (-.f64 x lo) (-.f64 (neg.f64 hi) lo)))
(neg.f64 (/.f64 (-.f64 (neg.f64 x) lo) (-.f64 hi lo)))
(/.f64 (-.f64 x hi) (-.f64 lo hi))
(/.f64 (-.f64 lo x) (-.f64 hi x))
(/.f64 (-.f64 hi lo) (-.f64 x lo))

Outputs
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(/.f64 (-.f64 x (neg.f64 lo)) (-.f64 hi (neg.f64 lo)))
(/.f64 (+.f64 x lo) (+.f64 lo hi))
(/.f64 (-.f64 x lo) (-.f64 (neg.f64 hi) lo))
(/.f64 (-.f64 x lo) (-.f64 (neg.f64 lo) hi))
(/.f64 (-.f64 lo x) (+.f64 lo hi))
(/.f64 (-.f64 (neg.f64 x) lo) (-.f64 hi lo))
(/.f64 (-.f64 (neg.f64 lo) x) (-.f64 hi lo))
(/.f64 (+.f64 x lo) (-.f64 lo hi))
(neg.f64 (/.f64 (-.f64 x (neg.f64 lo)) (-.f64 hi (neg.f64 lo))))
(/.f64 (-.f64 (neg.f64 x) lo) (+.f64 lo hi))
(/.f64 (+.f64 x lo) (-.f64 (neg.f64 lo) hi))
(neg.f64 (/.f64 (-.f64 x lo) (-.f64 (neg.f64 hi) lo)))
(/.f64 (-.f64 x lo) (neg.f64 (-.f64 (neg.f64 hi) lo)))
(/.f64 (-.f64 lo x) (-.f64 (neg.f64 hi) lo))
(/.f64 (-.f64 x lo) (+.f64 lo hi))
(neg.f64 (/.f64 (-.f64 (neg.f64 x) lo) (-.f64 hi lo)))
(/.f64 (neg.f64 (-.f64 (neg.f64 x) lo)) (-.f64 hi lo))
(/.f64 (-.f64 (neg.f64 x) lo) (-.f64 lo hi))
(/.f64 (+.f64 x lo) (-.f64 hi lo))
(/.f64 (-.f64 x hi) (-.f64 lo hi))
(/.f64 (-.f64 lo x) (-.f64 hi x))
(/.f64 (-.f64 hi lo) (-.f64 x lo))

Compiler

Compiled 50 to 20 computations (60% saved)

Precisions

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

Operation ival-sub, time spent: 6.0ms, 57.0% of total-time

Operation ival-div, time spent: 4.0ms, 38.0% of total-time

Operation const, time spent: 1.0ms, 9.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	3.1%	(/.f64 (-.f64 x lo) (-.f64 hi lo))

Compiler

Compiled 10 to 6 computations (40% saved)

localize31.0ms (0.4%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	3.1%	(/.f64 (-.f64 x lo) (-.f64 hi lo))

Compiler

Compiled 20 to 7 computations (65% saved)

Precisions

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

Operation ival-sub, time spent: 6.0ms, 70.0% of total-time

Operation ival-div, time spent: 2.0ms, 23.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

series11.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	lo	@	inf	(/.f64 (-.f64 x lo) (-.f64 hi lo))
1.0ms	hi	@	inf	(/.f64 (-.f64 x lo) (-.f64 hi lo))
1.0ms	x	@	-inf	(/.f64 (-.f64 x lo) (-.f64 hi lo))
1.0ms	lo	@	0	(/.f64 (-.f64 x lo) (-.f64 hi lo))
1.0ms	x	@	inf	(/.f64 (-.f64 x lo) (-.f64 hi lo))

rewrite276.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

961×	`log1p-expm1-u`
961×	`expm1-log1p-u`
866×	`log-prod`
662×	`fma-define`
340×	`fma-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	31
1	155	31
2	2453	31

Stop Event

1×	node limit

Counts

1 → 59

Calls

Call 1

Inputs
(/.f64 (-.f64 x lo) (-.f64 hi lo))

Outputs
(+.f64 (/.f64 x (-.f64 hi lo)) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(+.f64 0 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))))
(-.f64 (/.f64 x (-.f64 hi lo)) (/.f64 lo (-.f64 hi lo)))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))) 1)
(*.f64 (-.f64 x lo) (/.f64 1 (-.f64 hi lo)))
(*.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)) 1)
(*.f64 1 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
(*.f64 (cbrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) 2) (cbrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) (/.f64 (cbrt.f64 (-.f64 x lo)) (-.f64 hi lo)))
(.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) (.f64 (cbrt.f64 (-.f64 x lo)) (/.f64 1 (-.f64 hi lo))))
(*.f64 (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
(*.f64 (sqrt.f64 (-.f64 x lo)) (/.f64 (sqrt.f64 (-.f64 x lo)) (-.f64 hi lo)))
(.f64 (sqrt.f64 (-.f64 x lo)) (.f64 (sqrt.f64 (-.f64 x lo)) (/.f64 1 (-.f64 hi lo))))
(*.f64 (neg.f64 (-.f64 x lo)) (/.f64 1 (neg.f64 (-.f64 hi lo))))
(*.f64 (/.f64 1 (-.f64 hi lo)) (-.f64 x lo))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 hi lo)) 2)) (/.f64 (-.f64 x lo) (cbrt.f64 (-.f64 hi lo))))
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 hi lo))) (/.f64 (-.f64 x lo) (sqrt.f64 (-.f64 hi lo))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) 1) (/.f64 (cbrt.f64 (-.f64 x lo)) (-.f64 hi lo)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) (pow.f64 (cbrt.f64 (-.f64 hi lo)) 2)) (cbrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) (sqrt.f64 (-.f64 hi lo))) (/.f64 (cbrt.f64 (-.f64 x lo)) (sqrt.f64 (-.f64 hi lo))))
(*.f64 (/.f64 (sqrt.f64 (-.f64 x lo)) 1) (/.f64 (sqrt.f64 (-.f64 x lo)) (-.f64 hi lo)))
(*.f64 (/.f64 (sqrt.f64 (-.f64 x lo)) (pow.f64 (cbrt.f64 (-.f64 hi lo)) 2)) (/.f64 (sqrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 hi lo))))
(*.f64 (/.f64 (-.f64 x lo) (-.f64 (pow.f64 hi 3) (pow.f64 lo 3))) (fma.f64 lo (+.f64 lo hi) (pow.f64 hi 2)))
(*.f64 (/.f64 (-.f64 x lo) (-.f64 (pow.f64 hi 2) (pow.f64 lo 2))) (+.f64 lo hi))
(pow.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)) 1)
(pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) 3)
(pow.f64 (pow.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) 2)
(pow.f64 (/.f64 (-.f64 hi lo) (-.f64 x lo)) -1)
(neg.f64 (/.f64 (-.f64 x lo) (neg.f64 (-.f64 hi lo))))
(neg.f64 (/.f64 (neg.f64 (-.f64 x lo)) (-.f64 hi lo)))
(sqrt.f64 (pow.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)) 2))
(log.f64 (exp.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)) 3))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 (-.f64 hi lo) 3)))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
(exp.f64 (log.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) 1))
(fma.f64 x (/.f64 1 (-.f64 hi lo)) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 1 (/.f64 x (-.f64 hi lo)) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (/.f64 (cbrt.f64 x) (-.f64 hi lo)) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (-.f64 hi lo)) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (*.f64 (cbrt.f64 (/.f64 x (-.f64 hi lo))) (cbrt.f64 (/.f64 x (-.f64 hi lo)))) (cbrt.f64 (/.f64 x (-.f64 hi lo))) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (sqrt.f64 (/.f64 x (-.f64 hi lo))) (sqrt.f64 (/.f64 x (-.f64 hi lo))) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 hi lo)) 2)) (/.f64 x (cbrt.f64 (-.f64 hi lo))) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (/.f64 1 (sqrt.f64 (-.f64 hi lo))) (/.f64 x (sqrt.f64 (-.f64 hi lo))) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) (-.f64 hi lo)) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (-.f64 hi lo)) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 hi lo))) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 (-.f64 hi lo))) (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 hi lo))) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) (-.f64 hi lo)) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 (-.f64 hi lo)) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 hi lo))) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 hi lo))) (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 hi lo))) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (/.f64 x (-.f64 (pow.f64 hi 3) (pow.f64 lo 3))) (fma.f64 lo (+.f64 lo hi) (pow.f64 hi 2)) (neg.f64 (/.f64 lo (-.f64 hi lo))))
(fma.f64 (/.f64 x (-.f64 (pow.f64 hi 2) (pow.f64 lo 2))) (+.f64 lo hi) (neg.f64 (/.f64 lo (-.f64 hi lo))))

eval20.0ms (0.3%)

Compiler: Compiled 1598 to 598 computations (62.6% saved)

prune21.0ms (0.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	89	6	95
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	6	96

Accuracy

19.5%

Counts

96 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	18.8%	(/.f64 (-.f64 x lo) hi)
	9.0%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))))
▶	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (/.f64 x (pow.f64 lo 2)))))
▶	18.8%	(+.f64 (.f64 -1 (.f64 lo (+.f64 (*.f64 -1 (/.f64 x (pow.f64 hi 2))) (/.f64 1 hi)))) (/.f64 x hi))
▶	9.0%	(+.f64 1 (*.f64 -1 (/.f64 (-.f64 x hi) lo)))
▶	18.7%	1

Compiler

Compiled 208 to 146 computations (29.8% saved)

localize483.0ms (6.6%)

Localize:

Found 11 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (*.f64 -1 (/.f64 x (pow.f64 hi 2))) (/.f64 1 hi))
✓	100.0%	(+.f64 (.f64 -1 (.f64 lo (+.f64 (*.f64 -1 (/.f64 x (pow.f64 hi 2))) (/.f64 1 hi)))) (/.f64 x hi))
✓	98.7%	(/.f64 x (pow.f64 hi 2))
✓	98.6%	(.f64 lo (+.f64 (.f64 -1 (/.f64 x (pow.f64 hi 2))) (/.f64 1 hi)))
✓	100.0%	(/.f64 (-.f64 x hi) lo)
✓	97.6%	(+.f64 1 (*.f64 -1 (/.f64 (-.f64 x hi) lo)))
✓	100.0%	(/.f64 (-.f64 x lo) hi)
✓	99.6%	(+.f64 (/.f64 1 lo) (/.f64 (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo))
✓	98.7%	(/.f64 x (pow.f64 lo 2))
✓	98.6%	(*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2))))
✓	95.2%	(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (/.f64 x (pow.f64 lo 2))))

Compiler

Compiled 293 to 168 computations (42.7% saved)

Precisions

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

Operation ival-mult, time spent: 108.0ms, 36.0% of total-time

Operation ival-div, time spent: 99.0ms, 33.0% of total-time

Operation ival-pow, time spent: 46.0ms, 15.0% of total-time

Operation ival-add, time spent: 20.0ms, 7.0% of total-time

Operation ival-sub, time spent: 17.0ms, 6.0% of total-time

Operation const, time spent: 8.0ms, 3.0% of total-time

series165.0ms (2.2%)

Counts

11 → 252

Calls

90 calls:

Time	Variable		Point	Expression
68.0ms	hi	@	inf	(+.f64 1 (*.f64 -1 (/.f64 (-.f64 x hi) lo)))
5.0ms	x	@	0	(.f64 lo (+.f64 (.f64 -1 (/.f64 x (pow.f64 hi 2))) (/.f64 1 hi)))
4.0ms	x	@	inf	(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (/.f64 x (pow.f64 lo 2))))
3.0ms	hi	@	inf	(+.f64 (/.f64 1 lo) (/.f64 (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo))
3.0ms	x	@	inf	(/.f64 (-.f64 x lo) hi)

rewrite125.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

338×	`log1p-expm1-u`
338×	`expm1-log1p-u`
332×	`add-cube-cbrt`
329×	`add-exp-log`
328×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	36	470
1	706	450

Stop Event

1×	node limit

Counts

11 → 243

Calls

Call 1

Inputs
(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (/.f64 x (pow.f64 lo 2))))
(*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2))))
(/.f64 x (pow.f64 lo 2))
(+.f64 (/.f64 1 lo) (/.f64 (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo))
(/.f64 (-.f64 x lo) hi)
(+.f64 1 (*.f64 -1 (/.f64 (-.f64 x hi) lo)))
(/.f64 (-.f64 x hi) lo)
(.f64 lo (+.f64 (.f64 -1 (/.f64 x (pow.f64 hi 2))) (/.f64 1 hi)))
(/.f64 x (pow.f64 hi 2))
(+.f64 (.f64 -1 (.f64 lo (+.f64 (*.f64 -1 (/.f64 x (pow.f64 hi 2))) (/.f64 1 hi)))) (/.f64 x hi))
(+.f64 (*.f64 -1 (/.f64 x (pow.f64 hi 2))) (/.f64 1 hi))

Outputs
(-.f64 (exp.f64 (log1p.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2)))))) 1)
(pow.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2)))) 1)
(pow.f64 (cbrt.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2))))) 3)
(pow.f64 (pow.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2)))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2))))) 2)
(sqrt.f64 (pow.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2)))) 2))
(log.f64 (pow.f64 (exp.f64 hi) (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (.f64 x (pow.f64 lo -2)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2)))))))
(cbrt.f64 (pow.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2)))) 3))
(cbrt.f64 (.f64 (pow.f64 hi 3) (pow.f64 (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2))) 3)))
(cbrt.f64 (.f64 (pow.f64 (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2))) 3) (pow.f64 hi 3)))
(expm1.f64 (log1p.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2))))))
(log1p.f64 (expm1.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2))))))
(exp.f64 (log.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (*.f64 x (pow.f64 lo -2))))))
(exp.f64 (.f64 (log.f64 (.f64 hi (-.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) (.f64 x (pow.f64 lo -2))))) 1))
(-.f64 (exp.f64 (log1p.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) 1)
(pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 1)
(pow.f64 (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 3)
(pow.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 2)
(sqrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 2))
(log.f64 (pow.f64 (exp.f64 hi) (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))))
(cbrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3))
(cbrt.f64 (.f64 (pow.f64 hi 3) (pow.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) 3)))
(cbrt.f64 (.f64 (pow.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) 3) (pow.f64 hi 3)))
(expm1.f64 (log1p.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))))
(log1p.f64 (expm1.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))))
(exp.f64 (log.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))))
(exp.f64 (.f64 (log.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))))) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2)))) 1)
(.f64 1 (.f64 x (pow.f64 lo -2)))
(*.f64 x (pow.f64 lo -2))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (pow.f64 lo -2))) 2) (cbrt.f64 (*.f64 x (pow.f64 lo -2))))
(*.f64 (/.f64 (sqrt.f64 x) lo) (/.f64 (sqrt.f64 x) lo))
(pow.f64 (*.f64 x (pow.f64 lo -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 lo -2))) 3)
(pow.f64 (/.f64 (sqrt.f64 x) lo) 2)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 lo -2)) 3) 1/3)
(pow.f64 (/.f64 (pow.f64 lo 2) x) -1)
(sqrt.f64 (pow.f64 (*.f64 x (pow.f64 lo -2)) 2))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 lo -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 lo -2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 lo -2)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2))))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 lo -2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 lo -2))))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 lo -2))) 1))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)))) 1)
(.f64 1 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))) 2) (cbrt.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))))
(.f64 (sqrt.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))) (sqrt.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))))
(/.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))))) (pow.f64 lo 2))
(/.f64 (-.f64 (pow.f64 lo -2) (pow.f64 (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo)) 2)) (-.f64 (/.f64 1 lo) (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo))))
(/.f64 (+.f64 (pow.f64 lo -3) (pow.f64 (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo)) 3)) (+.f64 (pow.f64 lo -2) (-.f64 (pow.f64 (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo)) 2) (.f64 (/.f64 1 lo) (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo))))))
(pow.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) 1)
(pow.f64 (cbrt.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))) 3)
(pow.f64 (pow.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))) 2)
(sqrt.f64 (pow.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) 2))
(log.f64 (exp.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)))))
(cbrt.f64 (pow.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo)) 3))
(expm1.f64 (log1p.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))))
(log1p.f64 (expm1.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))))
(exp.f64 (log.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))))
(exp.f64 (.f64 (log.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))) 1))
(fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) lo) (/.f64 1 lo))
(fma.f64 1 (/.f64 1 lo) (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo)))
(fma.f64 1 (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo)) (/.f64 1 lo))
(fma.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) (/.f64 1 lo) (/.f64 1 lo))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo))) 2) (cbrt.f64 (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo))) (/.f64 1 lo))
(fma.f64 (cbrt.f64 (pow.f64 lo -2)) (/.f64 1 (cbrt.f64 lo)) (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo)))
(fma.f64 (sqrt.f64 (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo))) (sqrt.f64 (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo))) (/.f64 1 lo))
(fma.f64 (pow.f64 lo -1/2) (pow.f64 lo -1/2) (.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo)))
(-.f64 (/.f64 x hi) (/.f64 lo hi))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 x lo) hi))) 1)
(*.f64 1 (/.f64 (-.f64 x lo) hi))
(*.f64 (-.f64 x lo) (/.f64 1 hi))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) hi)) 2) (cbrt.f64 (/.f64 (-.f64 x lo) hi)))
(*.f64 (sqrt.f64 (/.f64 (-.f64 x lo) hi)) (sqrt.f64 (/.f64 (-.f64 x lo) hi)))
(pow.f64 (/.f64 (-.f64 x lo) hi) 1)
(pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) hi)) 3)
(pow.f64 (pow.f64 (/.f64 (-.f64 x lo) hi) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) hi)) 2)
(pow.f64 (/.f64 hi (-.f64 x lo)) -1)
(sqrt.f64 (pow.f64 (/.f64 (-.f64 x lo) hi) 2))
(log.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 x lo) hi))))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x lo) hi) 3))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 hi -3)))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 hi 3)))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 x lo) hi)))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 x lo) hi)))
(exp.f64 (log.f64 (/.f64 (-.f64 x lo) hi)))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 x lo) hi)) 1))
(fma.f64 1 (/.f64 x hi) (neg.f64 (/.f64 lo hi)))
(fma.f64 x (/.f64 1 hi) (neg.f64 (/.f64 lo hi)))
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 x hi)) 2) (cbrt.f64 (/.f64 x hi)) (neg.f64 (/.f64 lo hi)))
(fma.f64 (sqrt.f64 (/.f64 x hi)) (sqrt.f64 (/.f64 x hi)) (neg.f64 (/.f64 lo hi)))
(-.f64 (exp.f64 (log1p.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo)))) 1)
(*.f64 1 (+.f64 1 (/.f64 (-.f64 x hi) lo)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo))) 2) (cbrt.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo))))
(*.f64 (sqrt.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo))) (sqrt.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo))))
(/.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x hi) lo) 2)) (-.f64 1 (/.f64 (-.f64 x hi) lo)))
(/.f64 (+.f64 1 (pow.f64 (/.f64 (-.f64 x hi) lo) 3)) (+.f64 1 (-.f64 (pow.f64 (/.f64 (-.f64 x hi) lo) 2) (/.f64 (-.f64 x hi) lo))))
(pow.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo)) 1)
(pow.f64 (cbrt.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo))) 3)
(pow.f64 (pow.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo))) 2)
(sqrt.f64 (pow.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo)) 2))
(log.f64 (exp.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo)))))
(cbrt.f64 (pow.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo)) 3))
(expm1.f64 (log1p.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo))))
(log1p.f64 (expm1.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo))))
(exp.f64 (log1p.f64 (/.f64 (-.f64 x hi) lo)))
(exp.f64 (*.f64 (log1p.f64 (/.f64 (-.f64 x hi) lo)) 1))
(fma.f64 1 (/.f64 (-.f64 x hi) lo) 1)
(fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1)
(fma.f64 (/.f64 (-.f64 x hi) lo) -1 1)
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x hi) lo)) 2) (cbrt.f64 (/.f64 (-.f64 x hi) lo)) 1)
(fma.f64 (sqrt.f64 (/.f64 (-.f64 x hi) lo)) (sqrt.f64 (/.f64 (-.f64 x hi) lo)) 1)
(-.f64 (+.f64 1 (/.f64 (-.f64 x hi) lo)) 1)
(-.f64 (/.f64 x lo) (/.f64 hi lo))
(*.f64 1 (/.f64 (-.f64 x hi) lo))
(*.f64 -1 (/.f64 (-.f64 x hi) lo))
(*.f64 (-.f64 x hi) (/.f64 1 lo))
(*.f64 (/.f64 (-.f64 x hi) lo) -1)
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x hi) lo)) 2) (cbrt.f64 (/.f64 (-.f64 x hi) lo)))
(*.f64 (sqrt.f64 (/.f64 (-.f64 x hi) lo)) (sqrt.f64 (/.f64 (-.f64 x hi) lo)))
(pow.f64 (/.f64 (-.f64 x hi) lo) 1)
(pow.f64 (cbrt.f64 (/.f64 (-.f64 x hi) lo)) 3)
(pow.f64 (pow.f64 (/.f64 (-.f64 x hi) lo) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (-.f64 x hi) lo)) 2)
(pow.f64 (/.f64 lo (-.f64 x hi)) -1)
(neg.f64 (/.f64 (-.f64 x hi) lo))
(sqrt.f64 (pow.f64 (/.f64 (-.f64 x hi) lo) 2))
(log.f64 (exp.f64 (/.f64 (-.f64 x hi) lo)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 x hi) lo))))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x hi) lo) 3))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x hi) 3) (pow.f64 lo -3)))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 x hi) 3) (pow.f64 lo 3)))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 x hi) lo)))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 x hi) lo)))
(exp.f64 (log.f64 (/.f64 (-.f64 x hi) lo)))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 x hi) lo)) 1))
(+.f64 (.f64 lo (.f64 x (pow.f64 hi -2))) (*.f64 lo (/.f64 1 hi)))
(+.f64 (.f64 (.f64 x (pow.f64 hi -2)) lo) (*.f64 (/.f64 1 hi) lo))
(-.f64 (exp.f64 (log1p.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))) 1)
(pow.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 1)
(pow.f64 (cbrt.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))) 3)
(pow.f64 (pow.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 3) 1/3)
(pow.f64 (*.f64 (hypot.f64 (pow.f64 hi -1/2) (/.f64 (sqrt.f64 x) hi)) (sqrt.f64 lo)) 2)
(neg.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
(sqrt.f64 (pow.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 2))
(log.f64 (pow.f64 (exp.f64 lo) (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))))
(cbrt.f64 (pow.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 3))
(cbrt.f64 (.f64 (pow.f64 lo 3) (pow.f64 (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)) 3)))
(cbrt.f64 (.f64 (pow.f64 (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)) 3) (pow.f64 lo 3)))
(expm1.f64 (log1p.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))
(log1p.f64 (expm1.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))
(exp.f64 (log.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))
(exp.f64 (.f64 (log.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))) 1))
(fma.f64 lo (.f64 x (pow.f64 hi -2)) (.f64 lo (/.f64 1 hi)))
(fma.f64 (.f64 x (pow.f64 hi -2)) lo (.f64 (/.f64 1 hi) lo))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 hi -2)))) 1)
(.f64 1 (.f64 x (pow.f64 hi -2)))
(*.f64 x (pow.f64 hi -2))
(.f64 -1 (.f64 x (pow.f64 hi -2)))
(.f64 (.f64 x (pow.f64 hi -2)) -1)
(.f64 (pow.f64 (cbrt.f64 (.f64 x (pow.f64 hi -2))) 2) (cbrt.f64 (*.f64 x (pow.f64 hi -2))))
(*.f64 (/.f64 (sqrt.f64 x) hi) (/.f64 (sqrt.f64 x) hi))
(pow.f64 (*.f64 x (pow.f64 hi -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 hi -2))) 3)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 hi -2)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 x) hi) 2)
(pow.f64 (/.f64 (pow.f64 hi 2) x) -1)
(neg.f64 (*.f64 x (pow.f64 hi -2)))
(sqrt.f64 (pow.f64 (*.f64 x (pow.f64 hi -2)) 2))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 hi -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 hi -2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 hi -2)) 3))
(cbrt.f64 (/.f64 (pow.f64 x 3) (pow.f64 (pow.f64 hi 2) 3)))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 hi -2))))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 hi -2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 hi -2))))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 hi -2))) 1))
(-.f64 (exp.f64 (log1p.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)))) 1)
(.f64 1 (+.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)))
(.f64 (pow.f64 (cbrt.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))) 2) (cbrt.f64 (+.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))))
(.f64 (sqrt.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))) (sqrt.f64 (+.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))))
(/.f64 (-.f64 (pow.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 2) (pow.f64 (/.f64 x hi) 2)) (-.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)))
(/.f64 (+.f64 (pow.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 3) (pow.f64 (/.f64 x hi) 3)) (+.f64 (pow.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 2) (-.f64 (pow.f64 (/.f64 x hi) 2) (.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)))))
(pow.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)) 1)
(pow.f64 (cbrt.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))) 3)
(pow.f64 (pow.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))) 2)
(sqrt.f64 (pow.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)) 2))
(log.f64 (exp.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)))))
(cbrt.f64 (pow.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)) 3))
(expm1.f64 (log1p.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))))
(log1p.f64 (expm1.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))))
(exp.f64 (log.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))))
(exp.f64 (.f64 (log.f64 (+.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))) 1))
(fma.f64 1 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))
(fma.f64 1 (/.f64 x hi) (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
(fma.f64 x (/.f64 1 hi) (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
(fma.f64 -1 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi))
(fma.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) -1 (/.f64 x hi))
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 x hi)) 2) (cbrt.f64 (/.f64 x hi)) (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))) 2) (cbrt.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))) (/.f64 x hi))
(fma.f64 (sqrt.f64 (/.f64 x hi)) (sqrt.f64 (/.f64 x hi)) (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
(fma.f64 (.f64 (hypot.f64 (pow.f64 hi -1/2) (/.f64 (sqrt.f64 x) hi)) (sqrt.f64 lo)) (.f64 (hypot.f64 (pow.f64 hi -1/2) (/.f64 (sqrt.f64 x) hi)) (sqrt.f64 lo)) (/.f64 x hi))
(fma.f64 (.f64 -1 lo) (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)) (/.f64 x hi))
(-.f64 (exp.f64 (log1p.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))) 1)
(.f64 1 (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))
(.f64 (pow.f64 (cbrt.f64 (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 2) (cbrt.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
(*.f64 (hypot.f64 (pow.f64 hi -1/2) (/.f64 (sqrt.f64 x) hi)) (hypot.f64 (pow.f64 hi -1/2) (/.f64 (sqrt.f64 x) hi)))
(/.f64 (-.f64 (pow.f64 (.f64 x (pow.f64 hi -2)) 2) (pow.f64 hi -2)) (-.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))
(/.f64 (+.f64 (pow.f64 (.f64 x (pow.f64 hi -2)) 3) (pow.f64 hi -3)) (+.f64 (pow.f64 (.f64 x (pow.f64 hi -2)) 2) (-.f64 (pow.f64 hi -2) (.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))
(pow.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)) 1)
(pow.f64 (cbrt.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 3)
(pow.f64 (pow.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)) 3) 1/3)
(pow.f64 (hypot.f64 (pow.f64 hi -1/2) (/.f64 (sqrt.f64 x) hi)) 2)
(sqrt.f64 (pow.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)) 2))
(log.f64 (exp.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))
(cbrt.f64 (pow.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)) 3))
(expm1.f64 (log1p.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
(log1p.f64 (expm1.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
(exp.f64 (log.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
(exp.f64 (.f64 (log.f64 (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 1))
(fma.f64 1 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))
(fma.f64 1 (/.f64 1 hi) (*.f64 x (pow.f64 hi -2)))
(fma.f64 -1 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))
(fma.f64 (*.f64 x (pow.f64 hi -2)) -1 (/.f64 1 hi))
(fma.f64 (cbrt.f64 (pow.f64 hi -2)) (/.f64 1 (cbrt.f64 hi)) (*.f64 x (pow.f64 hi -2)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 x (pow.f64 hi -2))) 2) (cbrt.f64 (.f64 x (pow.f64 hi -2))) (/.f64 1 hi))
(fma.f64 (pow.f64 hi -1/2) (pow.f64 hi -1/2) (*.f64 x (pow.f64 hi -2)))
(fma.f64 (/.f64 (sqrt.f64 x) hi) (/.f64 (sqrt.f64 x) hi) (/.f64 1 hi))

eval269.0ms (3.7%)

Compiler: Compiled 11541 to 6544 computations (43.3% saved)

prune98.0ms (1.3%)

Pruning

34 alts after pruning (31 fresh and 3 done)

	Pruned	Kept	Total
New	482	31	513
Fresh	1	0	1
Picked	2	3	5
Done	0	0	0
Total	485	34	519

Accuracy

19.5%

Counts

519 → 34

Alt Table

Click to see full alt table

Status	Accuracy	Program
	18.8%	(pow.f64 (/.f64 hi (-.f64 x lo)) -1)
	18.8%	(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) hi)) 2)
	18.8%	(pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) hi)) 3)
✓	18.8%	(/.f64 (-.f64 x lo) hi)
	9.0%	(/.f64 (+.f64 lo (*.f64 -1 (-.f64 x hi))) lo)
	18.8%	(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 x lo) hi))) 1)
	18.8%	(+.f64 (.f64 -1 (pow.f64 (cbrt.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))) 3)) (/.f64 x hi))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (fma.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) (/.f64 1 lo) (/.f64 1 lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 (+.f64 1 (/.f64 hi lo)) lo) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (pow.f64 (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 3) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
✓	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (/.f64 x (pow.f64 lo 2)))))
▶	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.8%	(+.f64 (.f64 -1 (.f64 lo (fma.f64 (pow.f64 hi -1/2) (pow.f64 hi -1/2) (*.f64 x (pow.f64 hi -2))))) (/.f64 x hi))
	9.5%	(+.f64 (.f64 -1 (.f64 lo (pow.f64 (hypot.f64 (pow.f64 hi -1/2) (/.f64 (sqrt.f64 x) hi)) 2))) (/.f64 x hi))
	18.8%	(+.f64 (.f64 -1 (.f64 lo (.f64 (pow.f64 (cbrt.f64 (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 2) (cbrt.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))) (/.f64 x hi))
	11.1%	(+.f64 (.f64 -1 (.f64 lo (.f64 x (-.f64 (/.f64 1 (.f64 hi x)) (/.f64 1 (pow.f64 hi 2)))))) (/.f64 x hi))
	18.8%	(+.f64 (.f64 -1 (.f64 lo (exp.f64 (log.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))) (/.f64 x hi))
▶	18.8%	(+.f64 (.f64 -1 (log1p.f64 (expm1.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))) (/.f64 x hi))
	18.8%	(+.f64 (.f64 -1 (cbrt.f64 (pow.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 3))) (/.f64 x hi))
	9.0%	(+.f64 1 (/.f64 hi lo))
	9.0%	(+.f64 1 (.f64 -1 (.f64 (-.f64 x hi) (/.f64 1 lo))))
	18.8%	(*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) hi)) 2) (cbrt.f64 (/.f64 (-.f64 x lo) hi)))
	18.8%	(*.f64 (-.f64 x lo) (/.f64 1 hi))
▶	13.9%	(.f64 x (-.f64 (+.f64 (/.f64 1 x) (/.f64 hi (.f64 lo x))) (/.f64 1 lo)))
	11.1%	(.f64 x (+.f64 (.f64 -1 (/.f64 lo (*.f64 hi x))) (/.f64 1 hi)))
	18.8%	(.f64 lo (-.f64 (/.f64 x (.f64 hi lo)) (/.f64 1 hi)))
	9.0%	(.f64 hi (+.f64 (.f64 -1 (/.f64 x (*.f64 hi lo))) (+.f64 (/.f64 1 hi) (/.f64 1 lo))))
▶	18.8%	(*.f64 -1 (/.f64 lo hi))
	18.8%	(sqrt.f64 (pow.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)) 2))
▶	18.8%	(log.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))
	18.8%	(expm1.f64 (log1p.f64 (/.f64 (-.f64 x lo) hi)))
	18.8%	(cbrt.f64 (pow.f64 (/.f64 (-.f64 x lo) hi) 3))
✓	18.7%	1

Compiler

Compiled 1238 to 863 computations (30.3% saved)

localize770.0ms (10.5%)

Localize:

Found 15 expressions with local error:

New	Accuracy	Program
✓	99.7%	(expm1.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
✓	99.2%	(log1p.f64 (expm1.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))
✓	98.7%	(*.f64 x (pow.f64 hi -2))
✓	98.6%	(.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))
✓	100.0%	(/.f64 (-.f64 x lo) hi)
✓	99.6%	(exp.f64 (/.f64 (-.f64 x lo) hi))
✓	99.5%	(log.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))
✓	100.0%	(-.f64 (+.f64 (/.f64 1 x) (/.f64 hi (*.f64 lo x))) (/.f64 1 lo))
✓	99.6%	(.f64 x (-.f64 (+.f64 (/.f64 1 x) (/.f64 hi (.f64 lo x))) (/.f64 1 lo)))
✓	97.2%	(+.f64 (/.f64 1 x) (/.f64 hi (*.f64 lo x)))
✓	50.7%	(/.f64 hi (*.f64 lo x))
✓	98.7%	(/.f64 x (pow.f64 lo 2))
✓	98.7%	(*.f64 x (pow.f64 lo -2))
✓	98.6%	(.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))
✓	95.2%	(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))) 3)) lo)) (/.f64 x (pow.f64 lo 2))))

Compiler

Compiled 408 to 235 computations (42.4% saved)

Precisions

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

Operation ival-div, time spent: 163.0ms, 28.0% of total-time

Operation ival-pow, time spent: 147.0ms, 26.0% of total-time

Operation ival-mult, time spent: 91.0ms, 16.0% of total-time

Operation composed, time spent: 55.0ms, 10.0% of total-time

Operation ival-sub, time spent: 29.0ms, 5.0% of total-time

Operation ival-add, time spent: 28.0ms, 5.0% of total-time

Operation ival-log, time spent: 25.0ms, 4.0% of total-time

Operation ival-exp, time spent: 17.0ms, 3.0% of total-time

Operation ival-cbrt, time spent: 11.0ms, 2.0% of total-time

Operation const, time spent: 11.0ms, 2.0% of total-time

series127.0ms (1.7%)

Counts

15 → 399

Calls

126 calls:

Time	Variable		Point	Expression
13.0ms	x	@	-inf	(exp.f64 (/.f64 (-.f64 x lo) hi))
8.0ms	lo	@	inf	(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))) 3)) lo)) (/.f64 x (pow.f64 lo 2))))
6.0ms	x	@	-inf	(.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))
4.0ms	hi	@	0	(expm1.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))
4.0ms	hi	@	inf	(.f64 x (-.f64 (+.f64 (/.f64 1 x) (/.f64 hi (.f64 lo x))) (/.f64 1 lo)))

rewrite143.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

359×	`log1p-expm1-u`
358×	`expm1-log1p-u`
342×	`add-cube-cbrt`
341×	`add-exp-log`
339×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	563
1	789	563

Stop Event

1×	node limit

Counts

15 → 277

Calls

Call 1

Inputs
(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))) 3)) lo)) (/.f64 x (pow.f64 lo 2))))
(.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))
(*.f64 x (pow.f64 lo -2))
(/.f64 x (pow.f64 lo 2))
(/.f64 hi (*.f64 lo x))
(+.f64 (/.f64 1 x) (/.f64 hi (*.f64 lo x)))
(.f64 x (-.f64 (+.f64 (/.f64 1 x) (/.f64 hi (.f64 lo x))) (/.f64 1 lo)))
(-.f64 (+.f64 (/.f64 1 x) (/.f64 hi (*.f64 lo x))) (/.f64 1 lo))
(log.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))
(exp.f64 (/.f64 (-.f64 x lo) hi))
(/.f64 (-.f64 x lo) hi)
(.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))
(*.f64 x (pow.f64 hi -2))
(log1p.f64 (expm1.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))
(expm1.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))))

Outputs
(-.f64 (exp.f64 (log1p.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2))))))) 1)
(pow.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2))))) 1)
(pow.f64 (cbrt.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2)))))) 3)
(pow.f64 (pow.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2))))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2)))))) 2)
(log.f64 (pow.f64 (exp.f64 (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2))))) hi))
(log.f64 (+.f64 1 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2))))))))
(cbrt.f64 (pow.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2))))) 3))
(cbrt.f64 (.f64 (pow.f64 hi 3) (pow.f64 (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2)))) 3)))
(cbrt.f64 (.f64 (pow.f64 (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2)))) 3) (pow.f64 hi 3)))
(expm1.f64 (log1p.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2)))))))
(log1p.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2)))))))
(exp.f64 (log.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2)))))))
(exp.f64 (.f64 (log.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2)))))) 1))
(-.f64 (exp.f64 (log1p.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) 1)
(pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 1)
(pow.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3) 1/3)
(pow.f64 (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 3)
(pow.f64 (sqrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 2)
(log.f64 (pow.f64 (exp.f64 hi) (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))))
(cbrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3))
(expm1.f64 (log1p.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))))
(log1p.f64 (expm1.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))))
(exp.f64 (log.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))))
(exp.f64 (.f64 (log.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))))) 1))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) 1/3))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2)))) 1)
(/.f64 1 (/.f64 (pow.f64 lo 2) x))
(/.f64 x (pow.f64 lo 2))
(/.f64 (neg.f64 x) (neg.f64 (pow.f64 lo 2)))
(pow.f64 (*.f64 x (pow.f64 lo -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 lo -2))) 3)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 lo -2)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 x) lo) 2)
(pow.f64 (/.f64 (pow.f64 lo 2) x) -1)
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 lo -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 lo -2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 lo -2)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2))))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 lo -2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 lo -2))))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 lo -2))) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2)))) 1)
(.f64 1 (.f64 x (pow.f64 lo -2)))
(*.f64 x (pow.f64 lo -2))
(*.f64 (pow.f64 lo -2) x)
(.f64 (cbrt.f64 (pow.f64 (.f64 x (pow.f64 lo -2)) 2)) (cbrt.f64 (*.f64 x (pow.f64 lo -2))))
(*.f64 (/.f64 (sqrt.f64 x) lo) (/.f64 (sqrt.f64 x) lo))
(pow.f64 (*.f64 x (pow.f64 lo -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 lo -2))) 3)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 lo -2)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 x) lo) 2)
(pow.f64 (/.f64 (pow.f64 lo 2) x) -1)
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 lo -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 lo -2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 lo -2)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2))))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 lo -2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 lo -2))))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 lo -2))) 1))
(-.f64 (exp.f64 (log1p.f64 (/.f64 hi (*.f64 lo x)))) 1)
(.f64 hi (/.f64 1 (.f64 lo x)))
(.f64 1 (/.f64 hi (.f64 lo x)))
(.f64 (pow.f64 (cbrt.f64 (/.f64 hi (.f64 lo x))) 2) (cbrt.f64 (/.f64 hi (*.f64 lo x))))
(.f64 (sqrt.f64 (/.f64 hi (.f64 lo x))) (sqrt.f64 (/.f64 hi (*.f64 lo x))))
(pow.f64 (/.f64 hi (*.f64 lo x)) 1)
(pow.f64 (cbrt.f64 (/.f64 hi (*.f64 lo x))) 3)
(pow.f64 (pow.f64 (/.f64 hi (*.f64 lo x)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 hi (*.f64 lo x))) 2)
(pow.f64 (/.f64 (*.f64 lo x) hi) -1)
(log.f64 (exp.f64 (/.f64 hi (*.f64 lo x))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 hi (*.f64 lo x)))))
(cbrt.f64 (pow.f64 (/.f64 hi (*.f64 lo x)) 3))
(expm1.f64 (log1p.f64 (/.f64 hi (*.f64 lo x))))
(log1p.f64 (expm1.f64 (/.f64 hi (*.f64 lo x))))
(exp.f64 (log.f64 (/.f64 hi (*.f64 lo x))))
(exp.f64 (.f64 (log.f64 (/.f64 hi (.f64 lo x))) 1))
(-.f64 (exp.f64 (log1p.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x)))) 1)
(.f64 1 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x)))
(.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x))) 2) (cbrt.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x))))
(.f64 (hypot.f64 (pow.f64 x -1/2) (sqrt.f64 (/.f64 hi (.f64 lo x)))) (hypot.f64 (pow.f64 x -1/2) (sqrt.f64 (/.f64 hi (*.f64 lo x)))))
(/.f64 (fma.f64 lo x (.f64 x hi)) (.f64 x (*.f64 lo x)))
(/.f64 (-.f64 (pow.f64 x -2) (pow.f64 (/.f64 hi (.f64 lo x)) 2)) (-.f64 (/.f64 1 x) (/.f64 hi (.f64 lo x))))
(/.f64 (+.f64 (pow.f64 x -3) (pow.f64 (/.f64 hi (.f64 lo x)) 3)) (+.f64 (pow.f64 x -2) (-.f64 (pow.f64 (/.f64 hi (.f64 lo x)) 2) (.f64 (/.f64 1 x) (/.f64 hi (.f64 lo x))))))
(pow.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x)) 1)
(pow.f64 (cbrt.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x))) 3)
(pow.f64 (pow.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x)) 3) 1/3)
(pow.f64 (hypot.f64 (pow.f64 x -1/2) (sqrt.f64 (/.f64 hi (*.f64 lo x)))) 2)
(log.f64 (exp.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x)))))
(cbrt.f64 (pow.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x)) 3))
(expm1.f64 (log1p.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x))))
(log1p.f64 (expm1.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x))))
(exp.f64 (log.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x))))
(exp.f64 (.f64 (log.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x))) 1))
(fma.f64 hi (/.f64 1 (*.f64 lo x)) (/.f64 1 x))
(fma.f64 1 (/.f64 hi (*.f64 lo x)) (/.f64 1 x))
(fma.f64 1 (/.f64 1 x) (/.f64 hi (*.f64 lo x)))
(fma.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 1 (cbrt.f64 x)) (/.f64 hi (*.f64 lo x)))
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 hi (.f64 lo x))) 2) (cbrt.f64 (/.f64 hi (.f64 lo x))) (/.f64 1 x))
(fma.f64 (pow.f64 x -1/2) (pow.f64 x -1/2) (/.f64 hi (*.f64 lo x)))
(fma.f64 (sqrt.f64 (/.f64 hi (.f64 lo x))) (sqrt.f64 (/.f64 hi (.f64 lo x))) (/.f64 1 x))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo)))))) 1)
(pow.f64 (.f64 x (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo)))) 1)
(pow.f64 (cbrt.f64 (.f64 x (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo))))) 3)
(pow.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo)))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo))))) 2)
(log.f64 (pow.f64 (exp.f64 x) (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo)))))))
(cbrt.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo)))) 3))
(cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo))) 3)))
(cbrt.f64 (.f64 (pow.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo))) 3) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (.f64 x (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo))))))
(log1p.f64 (expm1.f64 (.f64 x (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo))))))
(exp.f64 (log.f64 (.f64 x (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo))))))
(exp.f64 (.f64 (log.f64 (.f64 x (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo))))) 1))
(+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))
(+.f64 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x)) (neg.f64 (/.f64 1 lo)))
(+.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo))) (fma.f64 (neg.f64 (pow.f64 lo -1/2)) (pow.f64 lo -1/2) (/.f64 1 lo)))
(+.f64 (fma.f64 1 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x)) (neg.f64 (.f64 (/.f64 1 lo) 1))) (fma.f64 (neg.f64 (/.f64 1 lo)) 1 (*.f64 (/.f64 1 lo) 1)))
(+.f64 (fma.f64 1 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x)) (neg.f64 (.f64 (/.f64 1 (cbrt.f64 lo)) (cbrt.f64 (pow.f64 lo -2))))) (fma.f64 (neg.f64 (/.f64 1 (cbrt.f64 lo))) (cbrt.f64 (pow.f64 lo -2)) (*.f64 (/.f64 1 (cbrt.f64 lo)) (cbrt.f64 (pow.f64 lo -2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x))) 2) (cbrt.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x))) (neg.f64 (.f64 (/.f64 1 lo) 1))) (fma.f64 (neg.f64 (/.f64 1 lo)) 1 (.f64 (/.f64 1 lo) 1)))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x))) 2) (cbrt.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x))) (neg.f64 (.f64 (/.f64 1 (cbrt.f64 lo)) (cbrt.f64 (pow.f64 lo -2))))) (fma.f64 (neg.f64 (/.f64 1 (cbrt.f64 lo))) (cbrt.f64 (pow.f64 lo -2)) (.f64 (/.f64 1 (cbrt.f64 lo)) (cbrt.f64 (pow.f64 lo -2)))))
(+.f64 (fma.f64 (hypot.f64 (pow.f64 x -1/2) (sqrt.f64 (/.f64 hi (.f64 lo x)))) (hypot.f64 (pow.f64 x -1/2) (sqrt.f64 (/.f64 hi (.f64 lo x)))) (neg.f64 (.f64 (/.f64 1 lo) 1))) (fma.f64 (neg.f64 (/.f64 1 lo)) 1 (.f64 (/.f64 1 lo) 1)))
(+.f64 (fma.f64 (hypot.f64 (pow.f64 x -1/2) (sqrt.f64 (/.f64 hi (.f64 lo x)))) (hypot.f64 (pow.f64 x -1/2) (sqrt.f64 (/.f64 hi (.f64 lo x)))) (neg.f64 (.f64 (/.f64 1 (cbrt.f64 lo)) (cbrt.f64 (pow.f64 lo -2))))) (fma.f64 (neg.f64 (/.f64 1 (cbrt.f64 lo))) (cbrt.f64 (pow.f64 lo -2)) (.f64 (/.f64 1 (cbrt.f64 lo)) (cbrt.f64 (pow.f64 lo -2)))))
(.f64 1 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo))))
(.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo)))) 2) (cbrt.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))))
(.f64 (sqrt.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo)))) (sqrt.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))))
(/.f64 (-.f64 (pow.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x)) 2) (pow.f64 lo -2)) (+.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x)) (/.f64 1 lo)))
(/.f64 (-.f64 (pow.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x)) 3) (pow.f64 lo -3)) (+.f64 (pow.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x)) 2) (+.f64 (pow.f64 lo -2) (.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x)) (/.f64 1 lo)))))
(pow.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo))) 1)
(pow.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))) 3)
(pow.f64 (pow.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo))) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))) 2)
(log.f64 (exp.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo))))))
(cbrt.f64 (pow.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo))) 3))
(expm1.f64 (log1p.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))))
(log1p.f64 (expm1.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))))
(exp.f64 (log.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))))
(exp.f64 (.f64 (log.f64 (+.f64 (/.f64 1 x) (-.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 lo)))) 1))
(fma.f64 1 (/.f64 1 x) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))
(fma.f64 1 (+.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 x)) (neg.f64 (/.f64 1 lo)))
(fma.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 1 (cbrt.f64 x)) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x))) 2) (cbrt.f64 (+.f64 (/.f64 hi (.f64 lo x)) (/.f64 1 x))) (neg.f64 (/.f64 1 lo)))
(fma.f64 (pow.f64 x -1/2) (pow.f64 x -1/2) (-.f64 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo)))
(fma.f64 (hypot.f64 (pow.f64 x -1/2) (sqrt.f64 (/.f64 hi (.f64 lo x)))) (hypot.f64 (pow.f64 x -1/2) (sqrt.f64 (/.f64 hi (.f64 lo x)))) (neg.f64 (/.f64 1 lo)))
(+.f64 0 (/.f64 (-.f64 x lo) hi))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))))
(-.f64 (/.f64 x hi) (/.f64 lo hi))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 x lo) hi))) 1)
(*.f64 1 (/.f64 (-.f64 x lo) hi))
(*.f64 (-.f64 x lo) (/.f64 1 hi))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) hi)) 2) (cbrt.f64 (/.f64 (-.f64 x lo) hi)))
(*.f64 (sqrt.f64 (/.f64 (-.f64 x lo) hi)) (sqrt.f64 (/.f64 (-.f64 x lo) hi)))
(/.f64 1 (/.f64 hi (-.f64 x lo)))
(/.f64 (-.f64 x lo) hi)
(/.f64 (neg.f64 (-.f64 x lo)) (neg.f64 hi))
(pow.f64 (/.f64 (-.f64 x lo) hi) 1)
(pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) hi)) 3)
(pow.f64 (pow.f64 (/.f64 (-.f64 x lo) hi) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) hi)) 2)
(pow.f64 (/.f64 hi (-.f64 x lo)) -1)
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x lo) hi) 3))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 hi -3)))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 hi 3)))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 x lo) hi)))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 x lo) hi)))
(exp.f64 (log.f64 (/.f64 (-.f64 x lo) hi)))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 x lo) hi)) 1))
(-.f64 (exp.f64 (log1p.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))) 1)
(*.f64 1 (exp.f64 (/.f64 (-.f64 x lo) hi)))
(*.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi))) 2) (cbrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi))))
(*.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi))) (sqrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi))))
(/.f64 (exp.f64 (/.f64 x hi)) (exp.f64 (/.f64 lo hi)))
(pow.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)) 1)
(pow.f64 (exp.f64 (-.f64 x lo)) (/.f64 1 hi))
(pow.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi))) 3)
(pow.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)) 3) 1/3)
(pow.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi))) 2)
(pow.f64 (exp.f64 1) (/.f64 (-.f64 x lo) hi))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) hi)) 2)) (cbrt.f64 (/.f64 (-.f64 x lo) hi)))
(pow.f64 (exp.f64 (sqrt.f64 (/.f64 (-.f64 x lo) hi))) (sqrt.f64 (/.f64 (-.f64 x lo) hi)))
(log.f64 (exp.f64 (exp.f64 (/.f64 (-.f64 x lo) hi))))
(log.f64 (+.f64 1 (expm1.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))))
(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)) 3))
(expm1.f64 (log1p.f64 (exp.f64 (/.f64 (-.f64 x lo) hi))))
(log1p.f64 (expm1.f64 (exp.f64 (/.f64 (-.f64 x lo) hi))))
(+.f64 0 (/.f64 (-.f64 x lo) hi))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))))
(-.f64 (/.f64 x hi) (/.f64 lo hi))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 x lo) hi))) 1)
(*.f64 1 (/.f64 (-.f64 x lo) hi))
(*.f64 (-.f64 x lo) (/.f64 1 hi))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) hi)) 2) (cbrt.f64 (/.f64 (-.f64 x lo) hi)))
(*.f64 (sqrt.f64 (/.f64 (-.f64 x lo) hi)) (sqrt.f64 (/.f64 (-.f64 x lo) hi)))
(pow.f64 (/.f64 (-.f64 x lo) hi) 1)
(pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) hi)) 3)
(pow.f64 (pow.f64 (/.f64 (-.f64 x lo) hi) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) hi)) 2)
(pow.f64 (/.f64 hi (-.f64 x lo)) -1)
(log.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 x lo) hi))))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x lo) hi) 3))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 hi -3)))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 hi 3)))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 x lo) hi)))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 x lo) hi)))
(exp.f64 (log.f64 (/.f64 (-.f64 x lo) hi)))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 x lo) hi)) 1))
(+.f64 (.f64 lo (.f64 x (pow.f64 hi -2))) (*.f64 lo (/.f64 1 hi)))
(+.f64 (.f64 (.f64 x (pow.f64 hi -2)) lo) (*.f64 (/.f64 1 hi) lo))
(-.f64 (exp.f64 (log1p.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))) 1)
(pow.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))) 1)
(pow.f64 (cbrt.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))) 3)
(pow.f64 (pow.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))) 2)
(log.f64 (pow.f64 (exp.f64 (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))) lo))
(cbrt.f64 (pow.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))) 3))
(cbrt.f64 (*.f64 (pow.f64 lo 3) (pow.f64 (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)) 3)))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)) 3) (pow.f64 lo 3)))
(expm1.f64 (log1p.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))))
(log1p.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))))
(exp.f64 (log.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))))
(exp.f64 (.f64 (log.f64 (.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))) 1))
(fma.f64 lo (.f64 x (pow.f64 hi -2)) (.f64 lo (/.f64 1 hi)))
(fma.f64 (.f64 x (pow.f64 hi -2)) lo (.f64 (/.f64 1 hi) lo))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 hi -2)))) 1)
(pow.f64 (*.f64 x (pow.f64 hi -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 hi -2))) 3)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 hi -2)) 3) 1/3)
(pow.f64 (*.f64 (/.f64 1 hi) (sqrt.f64 x)) 2)
(log.f64 (pow.f64 (exp.f64 (pow.f64 hi -2)) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 hi -2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 hi -2)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 hi -2))))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 hi -2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 hi -2))))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 hi -2))) 1))
(+.f64 (.f64 lo (.f64 x (pow.f64 hi -2))) (*.f64 lo (/.f64 1 hi)))
(+.f64 (.f64 (.f64 x (pow.f64 hi -2)) lo) (*.f64 (/.f64 1 hi) lo))
(-.f64 (exp.f64 (log1p.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))) 1)
(.f64 1 (.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))
(*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))
(*.f64 (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)) lo)
(.f64 (pow.f64 (cbrt.f64 (.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))) 2) (cbrt.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))))
(.f64 (sqrt.f64 (.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))) (sqrt.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))))
(pow.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))) 1)
(pow.f64 (cbrt.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))) 3)
(pow.f64 (pow.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))) 2)
(log.f64 (pow.f64 (exp.f64 (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))) lo))
(cbrt.f64 (pow.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))) 3))
(cbrt.f64 (*.f64 (pow.f64 lo 3) (pow.f64 (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)) 3)))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)) 3) (pow.f64 lo 3)))
(expm1.f64 (log1p.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))))
(exp.f64 (log.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))))
(exp.f64 (.f64 (log.f64 (.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))) 1))
(fma.f64 lo (.f64 x (pow.f64 hi -2)) (.f64 lo (/.f64 1 hi)))
(fma.f64 (.f64 x (pow.f64 hi -2)) lo (.f64 (/.f64 1 hi) lo))
(-.f64 (pow.f64 (exp.f64 (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))) lo) 1)
(.f64 1 (expm1.f64 (.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))))
(.f64 (pow.f64 (cbrt.f64 (expm1.f64 (.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))) 2) (cbrt.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))))
(.f64 (sqrt.f64 (expm1.f64 (.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))) (sqrt.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))))
(pow.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))) 1)
(pow.f64 (cbrt.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))) 3)
(pow.f64 (pow.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))) 3) 1/3)
(pow.f64 (sqrt.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))) 2)
(log.f64 (exp.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))))
(log.f64 (+.f64 1 (expm1.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))))))
(cbrt.f64 (pow.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi)))) 3))
(log1p.f64 (expm1.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))))
(exp.f64 (log.f64 (expm1.f64 (*.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))))
(exp.f64 (.f64 (log.f64 (expm1.f64 (.f64 lo (fma.f64 x (pow.f64 hi -2) (/.f64 1 hi))))) 1))

eval480.0ms (6.5%)

Compiler: Compiled 14512 to 8249 computations (43.2% saved)

prune117.0ms (1.6%)

Pruning

31 alts after pruning (28 fresh and 3 done)

	Pruned	Kept	Total
New	659	17	676
Fresh	15	11	26
Picked	4	1	5
Done	1	2	3
Total	679	31	710

Accuracy

20.7%

Counts

710 → 31

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	18.8%	(/.f64 (-.f64 x lo) hi)
	9.0%	(/.f64 (+.f64 lo (*.f64 -1 (-.f64 x hi))) lo)
	18.8%	(/.f64 1 (/.f64 hi (-.f64 x lo)))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (pow.f64 (cbrt.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2)))))) 3))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (-.f64 (exp.f64 (log1p.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2))))))) 1))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (fma.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) (/.f64 1 lo) (/.f64 1 lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 (+.f64 1 (/.f64 hi lo)) lo) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (pow.f64 (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 3) lo)) (/.f64 x (pow.f64 lo 2)))))
▶	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 3) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (/.f64 hi lo) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3)) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
▶	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (log1p.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2))))))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (log.f64 (+.f64 1 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2)))))))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (expm1.f64 (log1p.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2))))))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (cbrt.f64 (pow.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2))))) 3)))
	9.0%	(+.f64 1 (/.f64 hi lo))
▶	9.0%	(+.f64 1 (.f64 -1 (.f64 (-.f64 x hi) (/.f64 1 lo))))
	18.8%	(*.f64 (-.f64 x lo) (/.f64 1 hi))
	4.8%	(*.f64 x (/.f64 (-.f64 (+.f64 (/.f64 hi x) (/.f64 lo x)) 1) lo))
▶	18.7%	(*.f64 x (/.f64 1 x))
	11.1%	(.f64 x (+.f64 (.f64 -1 (/.f64 lo (*.f64 hi x))) (/.f64 1 hi)))
	6.4%	(.f64 x (.f64 -1 (.f64 hi (-.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 lo)) hi)) (/.f64 1 (*.f64 lo x))))))
	18.8%	(.f64 lo (-.f64 (/.f64 x (.f64 hi lo)) (/.f64 1 hi)))
	9.0%	(.f64 hi (+.f64 (/.f64 1 lo) (/.f64 (.f64 x (-.f64 (/.f64 1 x) (/.f64 1 lo))) hi)))
✓	18.8%	(*.f64 -1 (/.f64 lo hi))
	18.8%	(sqrt.f64 (pow.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)) 2))
▶	20.6%	(log.f64 (-.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi)))
	20.6%	(log.f64 (+.f64 (exp.f64 (/.f64 x hi)) (.f64 lo (+.f64 (.f64 -1 (/.f64 (exp.f64 (/.f64 x hi)) hi)) (.f64 1/2 (/.f64 (.f64 lo (exp.f64 (/.f64 x hi))) (pow.f64 hi 2)))))))
	20.6%	(log.f64 (+.f64 (exp.f64 (/.f64 x hi)) (.f64 -1 (/.f64 (.f64 lo (exp.f64 (/.f64 x hi))) hi))))
✓	18.7%	1

Compiler

Compiled 1456 to 997 computations (31.5% saved)

localize1.4s (18.5%)

Localize:

Found 14 expressions with local error:

New	Accuracy	Program
✓	99.5%	(expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2))))))
✓	98.7%	(*.f64 x (pow.f64 lo -2))
✓	98.6%	(.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))
✓	95.2%	(.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2)))))
✓	99.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
✓	99.6%	(+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo))
✓	98.7%	(/.f64 x (pow.f64 lo 2))
✓	95.2%	(*.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2))))
✓	98.6%	(*.f64 (-.f64 x hi) (/.f64 1 lo))
✓	97.6%	(+.f64 1 (.f64 -1 (.f64 (-.f64 x hi) (/.f64 1 lo))))
✓	99.7%	(*.f64 x (/.f64 1 x))
✓	100.0%	(+.f64 1 (/.f64 x hi))
✓	99.7%	(-.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))
✓	99.4%	(log.f64 (-.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi)))

Compiler

Compiled 412 to 219 computations (46.8% saved)

Precisions

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

Operation ival-pow, time spent: 334.0ms, 45.0% of total-time

Operation ival-div, time spent: 143.0ms, 19.0% of total-time

Operation ival-mult, time spent: 112.0ms, 15.0% of total-time

Operation ival-add, time spent: 48.0ms, 6.0% of total-time

Operation ival-sub, time spent: 37.0ms, 5.0% of total-time

Operation composed, time spent: 36.0ms, 5.0% of total-time

Operation ival-log, time spent: 18.0ms, 2.0% of total-time

Operation ival-exp, time spent: 12.0ms, 2.0% of total-time

Operation const, time spent: 10.0ms, 1.0% of total-time

series105.0ms (1.4%)

Counts

14 → 393

Calls

108 calls:

Time	Variable		Point	Expression
10.0ms	lo	@	-inf	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
4.0ms	x	@	0	(expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2))))))
3.0ms	lo	@	-inf	(log.f64 (-.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi)))
3.0ms	x	@	inf	(.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))
2.0ms	x	@	0	(*.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2))))

rewrite155.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

421×	`log1p-expm1-u`
420×	`expm1-log1p-u`
413×	`add-cube-cbrt`
408×	`add-exp-log`
407×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	634
1	909	621

Stop Event

1×	node limit

Counts

14 → 263

Calls

Call 1

Inputs
(log.f64 (-.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi)))
(-.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))
(+.f64 1 (/.f64 x hi))
(*.f64 x (/.f64 1 x))
(+.f64 1 (.f64 -1 (.f64 (-.f64 x hi) (/.f64 1 lo))))
(*.f64 (-.f64 x hi) (/.f64 1 lo))
(*.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2))))
(/.f64 x (pow.f64 lo 2))
(+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
(.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2)))))
(.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))
(*.f64 x (pow.f64 lo -2))
(expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (.f64 x (pow.f64 lo -2))))))

Outputs
(+.f64 0 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2)) (log.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
(+.f64 (log.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))) (log.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
(-.f64 (exp.f64 (log1p.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))) 1)
(-.f64 (log.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 3) (pow.f64 (/.f64 lo hi) 3))) (log.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (+.f64 (pow.f64 (/.f64 lo hi) 2) (*.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))))))
(-.f64 (log.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (pow.f64 (/.f64 lo hi) 2))) (log.f64 (+.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))))
(*.f64 1 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))
(*.f64 (pow.f64 (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2) (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(*.f64 (sqrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) (sqrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(pow.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))) 1)
(pow.f64 (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 3)
(pow.f64 (pow.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))) 3) 1/3)
(pow.f64 (sqrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2)
(cbrt.f64 (pow.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))) 3))
(expm1.f64 (log1p.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))
(exp.f64 (log.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(exp.f64 (*.f64 (log.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 1))
(+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))
(+.f64 (+.f64 1 (/.f64 x hi)) (neg.f64 (/.f64 lo hi)))
(+.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 lo hi))) (sqrt.f64 (/.f64 lo hi)) (/.f64 lo hi)))
(+.f64 (fma.f64 1 (+.f64 1 (/.f64 x hi)) (neg.f64 (.f64 (/.f64 lo hi) 1))) (fma.f64 (neg.f64 (/.f64 lo hi)) 1 (.f64 (/.f64 lo hi) 1)))
(+.f64 (fma.f64 1 (+.f64 1 (/.f64 x hi)) (neg.f64 (.f64 (/.f64 1 hi) lo))) (fma.f64 (neg.f64 (/.f64 1 hi)) lo (.f64 (/.f64 1 hi) lo)))
(+.f64 (fma.f64 1 (+.f64 1 (/.f64 x hi)) (neg.f64 (.f64 (cbrt.f64 (/.f64 lo hi)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 lo hi))) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2) (.f64 (cbrt.f64 (/.f64 lo hi)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (+.f64 1 (/.f64 x hi))) 2) (cbrt.f64 (+.f64 1 (/.f64 x hi))) (neg.f64 (.f64 (/.f64 lo hi) 1))) (fma.f64 (neg.f64 (/.f64 lo hi)) 1 (.f64 (/.f64 lo hi) 1)))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (+.f64 1 (/.f64 x hi))) 2) (cbrt.f64 (+.f64 1 (/.f64 x hi))) (neg.f64 (.f64 (/.f64 1 hi) lo))) (fma.f64 (neg.f64 (/.f64 1 hi)) lo (.f64 (/.f64 1 hi) lo)))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (+.f64 1 (/.f64 x hi))) 2) (cbrt.f64 (+.f64 1 (/.f64 x hi))) (neg.f64 (.f64 (cbrt.f64 (/.f64 lo hi)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 lo hi))) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2) (.f64 (cbrt.f64 (/.f64 lo hi)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2))))
(+.f64 (fma.f64 (sqrt.f64 (+.f64 1 (/.f64 x hi))) (sqrt.f64 (+.f64 1 (/.f64 x hi))) (neg.f64 (.f64 (/.f64 lo hi) 1))) (fma.f64 (neg.f64 (/.f64 lo hi)) 1 (.f64 (/.f64 lo hi) 1)))
(+.f64 (fma.f64 (sqrt.f64 (+.f64 1 (/.f64 x hi))) (sqrt.f64 (+.f64 1 (/.f64 x hi))) (neg.f64 (.f64 (/.f64 1 hi) lo))) (fma.f64 (neg.f64 (/.f64 1 hi)) lo (.f64 (/.f64 1 hi) lo)))
(+.f64 (fma.f64 (sqrt.f64 (+.f64 1 (/.f64 x hi))) (sqrt.f64 (+.f64 1 (/.f64 x hi))) (neg.f64 (.f64 (cbrt.f64 (/.f64 lo hi)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 lo hi))) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2) (.f64 (cbrt.f64 (/.f64 lo hi)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2))))
(*.f64 1 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2) (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(*.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 3) (pow.f64 (/.f64 lo hi) 3)) (+.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (+.f64 (pow.f64 (/.f64 lo hi) 2) (*.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi)))))
(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (pow.f64 (/.f64 lo hi) 2)) (+.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi)))
(pow.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))) 1)
(pow.f64 (E.f64) (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))
(pow.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 3)
(pow.f64 (pow.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2)) (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(pow.f64 (exp.f64 (sqrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))) (sqrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(log.f64 (exp.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
(cbrt.f64 (pow.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))) 3))
(expm1.f64 (log1p.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(log1p.f64 (expm1.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(exp.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))
(exp.f64 (*.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))) 1))
(fma.f64 1 (+.f64 1 (/.f64 x hi)) (neg.f64 (/.f64 lo hi)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 1 (/.f64 x hi))) 2) (cbrt.f64 (+.f64 1 (/.f64 x hi))) (neg.f64 (/.f64 lo hi)))
(fma.f64 (sqrt.f64 (+.f64 1 (/.f64 x hi))) (sqrt.f64 (+.f64 1 (/.f64 x hi))) (neg.f64 (/.f64 lo hi)))
(-.f64 (exp.f64 (log1p.f64 (+.f64 1 (/.f64 x hi)))) 1)
(*.f64 1 (+.f64 1 (/.f64 x hi)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 1 (/.f64 x hi))) 2) (cbrt.f64 (+.f64 1 (/.f64 x hi))))
(*.f64 (sqrt.f64 (+.f64 1 (/.f64 x hi))) (sqrt.f64 (+.f64 1 (/.f64 x hi))))
(/.f64 (+.f64 1 (pow.f64 (/.f64 x hi) 3)) (+.f64 1 (-.f64 (pow.f64 (/.f64 x hi) 2) (/.f64 x hi))))
(/.f64 (-.f64 1 (pow.f64 (/.f64 x hi) 2)) (-.f64 1 (/.f64 x hi)))
(pow.f64 (+.f64 1 (/.f64 x hi)) 1)
(pow.f64 (cbrt.f64 (+.f64 1 (/.f64 x hi))) 3)
(pow.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 1 (/.f64 x hi))) 2)
(log.f64 (exp.f64 (+.f64 1 (/.f64 x hi))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (/.f64 x hi)))))
(cbrt.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 3))
(expm1.f64 (log1p.f64 (+.f64 1 (/.f64 x hi))))
(log1p.f64 (expm1.f64 (+.f64 1 (/.f64 x hi))))
(exp.f64 (log1p.f64 (/.f64 x hi)))
(exp.f64 (*.f64 (log1p.f64 (/.f64 x hi)) 1))
(fma.f64 1 (/.f64 x hi) 1)
(fma.f64 x (/.f64 1 hi) 1)
(fma.f64 (cbrt.f64 (pow.f64 (/.f64 x hi) 2)) (cbrt.f64 (/.f64 x hi)) 1)
(fma.f64 (sqrt.f64 (/.f64 x hi)) (sqrt.f64 (/.f64 x hi)) 1)
1
(-.f64 (exp.f64 (log1p.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1))) 1)
(*.f64 1 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1)) 2) (cbrt.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1)))
(*.f64 (sqrt.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1)) (sqrt.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1)))
(/.f64 (+.f64 1 (pow.f64 (neg.f64 (/.f64 (-.f64 x hi) lo)) 3)) (+.f64 1 (-.f64 (pow.f64 (neg.f64 (/.f64 (-.f64 x hi) lo)) 2) (neg.f64 (/.f64 (-.f64 x hi) lo)))))
(/.f64 (-.f64 1 (pow.f64 (neg.f64 (/.f64 (-.f64 x hi) lo)) 2)) (-.f64 1 (neg.f64 (/.f64 (-.f64 x hi) lo))))
(pow.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1) 1)
(pow.f64 (cbrt.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1)) 3)
(pow.f64 (pow.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1)) 2)
(log.f64 (exp.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1))))
(cbrt.f64 (pow.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1) 3))
(expm1.f64 (log1p.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1)))
(log1p.f64 (expm1.f64 (fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1)))
(exp.f64 (log1p.f64 (neg.f64 (/.f64 (-.f64 x hi) lo))))
(exp.f64 (*.f64 (log1p.f64 (neg.f64 (/.f64 (-.f64 x hi) lo))) 1))
(fma.f64 1 (neg.f64 (/.f64 (-.f64 x hi) lo)) 1)
(fma.f64 -1 (/.f64 (-.f64 x hi) lo) 1)
(fma.f64 (/.f64 (-.f64 x hi) lo) -1 1)
(fma.f64 (pow.f64 (cbrt.f64 (neg.f64 (/.f64 (-.f64 x hi) lo))) 2) (cbrt.f64 (neg.f64 (/.f64 (-.f64 x hi) lo))) 1)
(fma.f64 (sqrt.f64 (neg.f64 (/.f64 (-.f64 x hi) lo))) (sqrt.f64 (neg.f64 (/.f64 (-.f64 x hi) lo))) 1)
(fma.f64 (*.f64 -1 (-.f64 x hi)) (/.f64 1 lo) 1)
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 x hi) lo))) 1)
(/.f64 (-.f64 x hi) lo)
(/.f64 (*.f64 (-.f64 x hi) 1) lo)
(pow.f64 (/.f64 (-.f64 x hi) lo) 1)
(pow.f64 (cbrt.f64 (/.f64 (-.f64 x hi) lo)) 3)
(pow.f64 (pow.f64 (/.f64 (-.f64 x hi) lo) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (-.f64 x hi) lo)) 2)
(log.f64 (exp.f64 (/.f64 (-.f64 x hi) lo)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 x hi) lo))))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x hi) lo) 3))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x hi) 3) (pow.f64 lo -3)))
(cbrt.f64 (*.f64 (pow.f64 lo -3) (pow.f64 (-.f64 x hi) 3)))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 x hi) 3) (pow.f64 lo 3)))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 x hi) lo)))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 x hi) lo)))
(exp.f64 (log.f64 (/.f64 (-.f64 x hi) lo)))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 x hi) lo)) 1))
(-.f64 (exp.f64 (log1p.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))))) 1)
(pow.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))) 1)
(pow.f64 (cbrt.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))))) 3)
(pow.f64 (pow.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))))) 2)
(log.f64 (pow.f64 (exp.f64 (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2)))) hi))
(log.f64 (+.f64 1 (expm1.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))))))
(cbrt.f64 (pow.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))) 3))
(expm1.f64 (log1p.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))))))
(log1p.f64 (expm1.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))))))
(exp.f64 (log.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))))))
(exp.f64 (.f64 (log.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))))) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2)))) 1)
(.f64 1 (.f64 x (pow.f64 lo -2)))
(*.f64 x (pow.f64 lo -2))
(*.f64 (pow.f64 lo -2) x)
(.f64 (pow.f64 (cbrt.f64 (.f64 x (pow.f64 lo -2))) 2) (cbrt.f64 (*.f64 x (pow.f64 lo -2))))
(.f64 (sqrt.f64 (.f64 x (pow.f64 lo -2))) (sqrt.f64 (*.f64 x (pow.f64 lo -2))))
(pow.f64 (*.f64 x (pow.f64 lo -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 lo -2))) 3)
(pow.f64 (sqrt.f64 (*.f64 x (pow.f64 lo -2))) 2)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 lo -2)) 3) 1/3)
(pow.f64 (/.f64 (pow.f64 lo 2) x) -1)
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 lo -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 lo -2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 lo -2)) 3))
(cbrt.f64 (/.f64 (pow.f64 x 3) (pow.f64 (pow.f64 lo 2) 3)))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2))))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 lo -2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 lo -2))))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 lo -2))) 1))
(-.f64 (exp.f64 (log1p.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))))) 1)
(*.f64 1 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))) 2) (cbrt.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))))
(*.f64 (sqrt.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))) (sqrt.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))))
(/.f64 (+.f64 lo (*.f64 lo (/.f64 hi lo))) (pow.f64 lo 2))
(/.f64 (+.f64 (pow.f64 lo -3) (pow.f64 (/.f64 hi (pow.f64 lo 2)) 3)) (+.f64 (pow.f64 lo -2) (-.f64 (pow.f64 (/.f64 hi (pow.f64 lo 2)) 2) (*.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))))))
(/.f64 (-.f64 (pow.f64 lo -2) (pow.f64 (/.f64 hi (pow.f64 lo 2)) 2)) (-.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))))
(pow.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) 1)
(pow.f64 (cbrt.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))) 3)
(pow.f64 (pow.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))) 2)
(log.f64 (exp.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))))))
(cbrt.f64 (pow.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) 3))
(expm1.f64 (log1p.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))))
(log1p.f64 (expm1.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))))
(exp.f64 (log.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))))
(exp.f64 (*.f64 (log.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))) 1))
(fma.f64 1 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2)))
(fma.f64 1 (/.f64 hi (pow.f64 lo 2)) (/.f64 1 lo))
(fma.f64 (/.f64 hi lo) (/.f64 1 lo) (/.f64 1 lo))
(fma.f64 (cbrt.f64 (pow.f64 lo -2)) (/.f64 1 (cbrt.f64 lo)) (/.f64 hi (pow.f64 lo 2)))
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 hi (pow.f64 lo 2))) 2) (cbrt.f64 (/.f64 hi (pow.f64 lo 2))) (/.f64 1 lo))
(fma.f64 (sqrt.f64 (/.f64 1 lo)) (sqrt.f64 (/.f64 1 lo)) (/.f64 hi (pow.f64 lo 2)))
(fma.f64 (sqrt.f64 (/.f64 hi (pow.f64 lo 2))) (sqrt.f64 (/.f64 hi (pow.f64 lo 2))) (/.f64 1 lo))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1))))) 1)
(.f64 1 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1))))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))) 2) (cbrt.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))))
(.f64 (sqrt.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))) (sqrt.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))))
(/.f64 (+.f64 (pow.f64 (neg.f64 (-.f64 (/.f64 x lo) 1)) 3) (pow.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))) 3)) (+.f64 (pow.f64 (neg.f64 (-.f64 (/.f64 x lo) 1)) 2) (-.f64 (pow.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))) 2) (.f64 (neg.f64 (-.f64 (/.f64 x lo) 1)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))))))))
(/.f64 (-.f64 (pow.f64 (neg.f64 (-.f64 (/.f64 x lo) 1)) 2) (pow.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))) 2)) (-.f64 (neg.f64 (-.f64 (/.f64 x lo) 1)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))))))
(pow.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1))) 1)
(pow.f64 (cbrt.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))) 3)
(pow.f64 (pow.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1))) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))) 2)
(log.f64 (exp.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1))))))
(cbrt.f64 (pow.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1))) 3))
(expm1.f64 (log1p.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))))
(log1p.f64 (expm1.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))))
(exp.f64 (log.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))))
(exp.f64 (.f64 (log.f64 (fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))) 1))
(fma.f64 1 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))) (neg.f64 (-.f64 (/.f64 x lo) 1)))
(fma.f64 1 (neg.f64 (-.f64 (/.f64 x lo) 1)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))))
(fma.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) (neg.f64 (-.f64 (/.f64 x lo) 1)))
(fma.f64 -1 (-.f64 (/.f64 x lo) 1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))))
(fma.f64 (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (*.f64 x (pow.f64 lo -2))) hi (neg.f64 (-.f64 (/.f64 x lo) 1)))
(fma.f64 (-.f64 (/.f64 x lo) 1) -1 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))))
(fma.f64 (pow.f64 (cbrt.f64 (neg.f64 (-.f64 (/.f64 x lo) 1))) 2) (cbrt.f64 (neg.f64 (-.f64 (/.f64 x lo) 1))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))))) 2) (cbrt.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))))) (neg.f64 (-.f64 (/.f64 x lo) 1)))
(fma.f64 (sqrt.f64 (neg.f64 (-.f64 (/.f64 x lo) 1))) (sqrt.f64 (neg.f64 (-.f64 (/.f64 x lo) 1))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2)))))
(fma.f64 (sqrt.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))))) (sqrt.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 hi (pow.f64 lo 2))) (.f64 x (pow.f64 lo -2))))) (neg.f64 (-.f64 (/.f64 x lo) 1)))
(+.f64 (/.f64 hi lo) (.f64 hi (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))
(+.f64 (.f64 (/.f64 1 lo) hi) (.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (.f64 x (pow.f64 lo -2)))) hi))
(-.f64 (exp.f64 (log1p.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))))) 1)
(pow.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))) 1)
(pow.f64 (cbrt.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))) 3)
(pow.f64 (pow.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))) 2)
(log.f64 (pow.f64 (exp.f64 (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (.f64 x (pow.f64 lo -2)))))) hi))
(log.f64 (+.f64 1 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))))))
(cbrt.f64 (pow.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))) 3))
(cbrt.f64 (.f64 (pow.f64 hi 3) (pow.f64 (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))) 3)))
(cbrt.f64 (.f64 (pow.f64 (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))) 3) (pow.f64 hi 3)))
(expm1.f64 (log1p.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))))
(log1p.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))))
(exp.f64 (log.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))))
(exp.f64 (.f64 (log.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (.f64 x (pow.f64 lo -2))))))) 1))
(fma.f64 1 (/.f64 hi lo) (.f64 hi (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))
(fma.f64 hi (/.f64 1 lo) (.f64 hi (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))
(fma.f64 (/.f64 1 lo) hi (.f64 (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))) hi))
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (cbrt.f64 (/.f64 hi lo)) (.f64 hi (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))
(fma.f64 (sqrt.f64 (/.f64 hi lo)) (sqrt.f64 (/.f64 hi lo)) (.f64 hi (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) 1)
(pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 1)
(pow.f64 (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 3)
(pow.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 2)
(log.f64 (pow.f64 (exp.f64 hi) (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))))
(cbrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3))
(cbrt.f64 (.f64 (pow.f64 hi 3) (pow.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) 3)))
(cbrt.f64 (.f64 (pow.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) 3) (pow.f64 hi 3)))
(expm1.f64 (log1p.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))))
(log1p.f64 (expm1.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))))
(exp.f64 (log.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))))
(exp.f64 (.f64 (log.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))))) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2)))) 1)
(/.f64 1 (/.f64 (pow.f64 lo 2) x))
(/.f64 x (pow.f64 lo 2))
(/.f64 (neg.f64 x) (neg.f64 (pow.f64 lo 2)))
(pow.f64 (*.f64 x (pow.f64 lo -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 lo -2))) 3)
(pow.f64 (sqrt.f64 (*.f64 x (pow.f64 lo -2))) 2)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 lo -2)) 3) 1/3)
(pow.f64 (/.f64 (pow.f64 lo 2) x) -1)
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 lo -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 lo -2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 lo -2)) 3))
(cbrt.f64 (/.f64 (pow.f64 x 3) (pow.f64 (pow.f64 lo 2) 3)))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2))))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 lo -2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 lo -2))))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 lo -2))) 1))
(-.f64 (pow.f64 (exp.f64 (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (.f64 x (pow.f64 lo -2)))))) hi) 1)
(.f64 1 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (.f64 x (pow.f64 lo -2))))))))
(.f64 (pow.f64 (cbrt.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (.f64 x (pow.f64 lo -2)))))))) 2) (cbrt.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))))))
(.f64 (sqrt.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (.f64 x (pow.f64 lo -2)))))))) (sqrt.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))))))
(pow.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))) 1)
(pow.f64 (cbrt.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))))) 3)
(pow.f64 (pow.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))) 3) 1/3)
(pow.f64 (sqrt.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))))) 2)
(log.f64 (exp.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))))))
(log.f64 (+.f64 1 (expm1.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))))))
(cbrt.f64 (pow.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2))))))) 3))
(log1p.f64 (expm1.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))))))
(exp.f64 (log.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (*.f64 x (pow.f64 lo -2)))))))))
(exp.f64 (.f64 (log.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (fma.f64 hi (/.f64 (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) lo) (neg.f64 (.f64 x (pow.f64 lo -2)))))))) 1))

eval520.0ms (7.1%)

Compiler: Compiled 18036 to 10504 computations (41.8% saved)

prune165.0ms (2.2%)

Pruning

60 alts after pruning (53 fresh and 7 done)

	Pruned	Kept	Total
New	664	33	697
Fresh	3	20	23
Picked	1	4	5
Done	0	3	3
Total	668	60	728

Accuracy

20.7%

Counts

728 → 60

Alt Table

Click to see full alt table

Status	Accuracy	Program
	20.6%	(pow.f64 (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 3)
✓	18.8%	(/.f64 (-.f64 x lo) hi)
	9.0%	(/.f64 (+.f64 lo (*.f64 -1 (-.f64 x hi))) lo)
	18.8%	(/.f64 1 (/.f64 hi (-.f64 x lo)))
	20.6%	(-.f64 (log.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 3) (pow.f64 (/.f64 lo hi) 3))) (log.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (+.f64 (pow.f64 (/.f64 lo hi) 2) (*.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))))))
	11.2%	(-.f64 (log.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (pow.f64 (/.f64 lo hi) 2))) (log.f64 (+.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))))
	20.6%	(-.f64 (exp.f64 (log1p.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))) 1)
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (pow.f64 (cbrt.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2)))))) 3))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (-.f64 (exp.f64 (log1p.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2))))))) 1))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (fma.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) (/.f64 1 lo) (/.f64 1 lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 (+.f64 1 (/.f64 hi lo)) lo) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (pow.f64 (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 3) lo)) (/.f64 x (pow.f64 lo 2)))))
✓	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 3) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (/.f64 hi lo) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3)) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (log1p.f64 (-.f64 (exp.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (/.f64 x (pow.f64 lo 2))))) 1)))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (log1p.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (/.f64 hi lo) lo) (*.f64 x (pow.f64 lo -2))))))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (log.f64 (+.f64 1 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2)))))))))
	18.9%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (cbrt.f64 (pow.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2))))) 3)))
	20.6%	(+.f64 (log.f64 (pow.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2)) (log.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
	9.2%	(+.f64 (log.f64 (-.f64 x lo)) (*.f64 -1 (log.f64 hi)))
	20.6%	(+.f64 (log.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))) (log.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
	9.0%	(+.f64 1 (/.f64 hi lo))
✓	9.0%	(+.f64 1 (.f64 -1 (.f64 (-.f64 x hi) (/.f64 1 lo))))
	20.6%	(*.f64 (pow.f64 (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2) (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
	18.8%	(*.f64 (-.f64 x lo) (/.f64 1 hi))
	4.8%	(*.f64 x (/.f64 (-.f64 (+.f64 (/.f64 hi x) (/.f64 lo x)) 1) lo))
✓	18.7%	(*.f64 x (/.f64 1 x))
	11.1%	(.f64 x (+.f64 (.f64 -1 (/.f64 lo (*.f64 hi x))) (/.f64 1 hi)))
	6.4%	(.f64 x (.f64 -1 (.f64 hi (-.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 lo)) hi)) (/.f64 1 (*.f64 lo x))))))
	18.8%	(.f64 lo (-.f64 (/.f64 x (.f64 hi lo)) (/.f64 1 hi)))
	9.0%	(.f64 hi (+.f64 (/.f64 1 lo) (/.f64 (.f64 x (-.f64 (/.f64 1 x) (/.f64 1 lo))) hi)))
✓	18.8%	(*.f64 -1 (/.f64 lo hi))
	20.6%	(log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))
	20.6%	(log.f64 (pow.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2))
	20.6%	(log.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2)) (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
	20.6%	(log.f64 (pow.f64 (exp.f64 (sqrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))) (sqrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
	20.6%	(log.f64 (pow.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 3))
	20.6%	(log.f64 (pow.f64 (E.f64) (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
	20.6%	(log.f64 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 3) (pow.f64 (/.f64 lo hi) 3)) (+.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (+.f64 (pow.f64 (/.f64 lo hi) 2) (*.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))))))
	20.6%	(log.f64 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (pow.f64 (/.f64 lo hi) 2)) (+.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))))
	9.2%	(log.f64 (/.f64 (-.f64 x lo) hi))
✓	20.6%	(log.f64 (-.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi)))
	20.6%	(log.f64 (-.f64 (*.f64 x (+.f64 (/.f64 1 hi) (/.f64 1 x))) (/.f64 lo hi)))
	20.6%	(log.f64 (-.f64 1 (/.f64 lo hi)))
	20.6%	(log.f64 (+.f64 (fma.f64 1 (+.f64 1 (/.f64 x hi)) (neg.f64 (.f64 (cbrt.f64 (/.f64 lo hi)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 lo hi))) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2) (.f64 (cbrt.f64 (/.f64 lo hi)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2)))))
	20.6%	(log.f64 (+.f64 (exp.f64 (/.f64 x hi)) (.f64 -1 (/.f64 (.f64 lo (exp.f64 (/.f64 x hi))) hi))))
	20.6%	(log.f64 (+.f64 1 (.f64 -1 (/.f64 (-.f64 (.f64 -1 x) (*.f64 -1 lo)) hi))))
	20.6%	(log.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2) (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
	11.5%	(log.f64 (.f64 x (-.f64 (+.f64 (/.f64 1 hi) (/.f64 1 x)) (/.f64 lo (.f64 hi x)))))
	20.6%	(log.f64 (.f64 lo (-.f64 (+.f64 (/.f64 1 lo) (/.f64 x (.f64 hi lo))) (/.f64 1 hi))))
	20.6%	(log.f64 (.f64 -1 (.f64 x (-.f64 (*.f64 -1 (/.f64 (-.f64 1 (/.f64 lo hi)) x)) (/.f64 1 hi)))))
	20.6%	(log.f64 (.f64 -1 (.f64 lo (+.f64 (*.f64 -1 (/.f64 (+.f64 1 (/.f64 x hi)) lo)) (/.f64 1 hi)))))
	20.6%	(log.f64 (expm1.f64 (log1p.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
	20.6%	(log.f64 (exp.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
	20.6%	(log.f64 (cbrt.f64 (pow.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))) 3)))
	20.6%	(expm1.f64 (log1p.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
	20.6%	(cbrt.f64 (pow.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))) 3))
✓	18.7%	1

Compiler

Compiled 2972 to 1744 computations (41.3% saved)

regimes139.0ms (1.9%)

Counts

88 → 1

Calls

Call 1

Inputs
1
(*.f64 -1 (/.f64 lo hi))
(*.f64 x (/.f64 1 x))
(+.f64 1 (/.f64 hi lo))
(/.f64 (-.f64 x lo) hi)
(*.f64 (-.f64 x lo) (/.f64 1 hi))
(/.f64 1 (/.f64 hi (-.f64 x lo)))
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(+.f64 1 (*.f64 -1 (/.f64 (-.f64 x hi) lo)))
(/.f64 (+.f64 lo (*.f64 -1 (-.f64 x hi))) lo)
(.f64 lo (-.f64 (/.f64 x (.f64 hi lo)) (/.f64 1 hi)))
(+.f64 1 (.f64 -1 (.f64 (-.f64 x hi) (/.f64 1 lo))))
(.f64 x (+.f64 (.f64 -1 (/.f64 lo (*.f64 hi x))) (/.f64 1 hi)))
(*.f64 x (/.f64 (-.f64 (+.f64 (/.f64 hi x) (/.f64 lo x)) 1) lo))
(.f64 x (-.f64 (+.f64 (/.f64 1 x) (/.f64 hi (.f64 lo x))) (/.f64 1 lo)))
(.f64 hi (+.f64 (.f64 -1 (/.f64 x (*.f64 hi lo))) (+.f64 (/.f64 1 hi) (/.f64 1 lo))))
(.f64 hi (+.f64 (/.f64 1 lo) (/.f64 (.f64 x (-.f64 (/.f64 1 x) (/.f64 1 lo))) hi)))
(.f64 x (.f64 -1 (.f64 hi (-.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 lo)) hi)) (/.f64 1 (*.f64 lo x))))))
(log.f64 (-.f64 1 (/.f64 lo hi)))
(log.f64 (/.f64 (-.f64 x lo) hi))
(pow.f64 (/.f64 hi (-.f64 x lo)) -1)
(log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))
(log.f64 (-.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi)))
(log.f64 (+.f64 1 (.f64 -1 (/.f64 (-.f64 (.f64 -1 x) (*.f64 -1 lo)) hi))))
(log.f64 (-.f64 (*.f64 x (+.f64 (/.f64 1 hi) (/.f64 1 x))) (/.f64 lo hi)))
(log.f64 (.f64 lo (-.f64 (+.f64 (/.f64 1 lo) (/.f64 x (.f64 hi lo))) (/.f64 1 hi))))
(log.f64 (.f64 x (-.f64 (+.f64 (/.f64 1 hi) (/.f64 1 x)) (/.f64 lo (.f64 hi x)))))
(log.f64 (.f64 -1 (.f64 lo (+.f64 (*.f64 -1 (/.f64 (+.f64 1 (/.f64 x hi)) lo)) (/.f64 1 hi)))))
(log.f64 (.f64 -1 (.f64 x (-.f64 (*.f64 -1 (/.f64 (-.f64 1 (/.f64 lo hi)) x)) (/.f64 1 hi)))))
(+.f64 (.f64 -1 (.f64 lo (+.f64 (*.f64 -1 (/.f64 x (pow.f64 hi 2))) (/.f64 1 hi)))) (/.f64 x hi))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (.f64 lo (.f64 x (-.f64 (/.f64 1 (.f64 hi x)) (/.f64 1 (pow.f64 hi 2)))))) (/.f64 x hi))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 (+.f64 1 (/.f64 hi lo)) lo) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 x lo) hi)))
(log.f64 (exp.f64 (/.f64 (-.f64 x lo) hi)))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x lo) hi) 3))
(pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) hi)) 3)
(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) hi)) 2)
(+.f64 (log.f64 (-.f64 x lo)) (*.f64 -1 (log.f64 hi)))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 x lo) hi))) 1)
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (/.f64 x (pow.f64 lo 2)))))
(expm1.f64 (log1p.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(log.f64 (exp.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(cbrt.f64 (pow.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))) 3))
(log.f64 (pow.f64 (E.f64) (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(pow.f64 (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 3)
(log.f64 (expm1.f64 (log1p.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
(-.f64 (exp.f64 (log1p.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))) 1)
(log.f64 (cbrt.f64 (pow.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))) 3)))
(log.f64 (pow.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 3))
(log.f64 (pow.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) hi)) 2) (cbrt.f64 (/.f64 (-.f64 x lo) hi)))
(log.f64 (+.f64 (exp.f64 (/.f64 x hi)) (.f64 -1 (/.f64 (.f64 lo (exp.f64 (/.f64 x hi))) hi))))
(sqrt.f64 (pow.f64 (+.f64 (.f64 lo (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) (/.f64 x hi)) 2))
(+.f64 (.f64 -1 (log1p.f64 (expm1.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))) (/.f64 x hi))
(+.f64 (.f64 -1 (.f64 lo (exp.f64 (log.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))) (/.f64 x hi))
(+.f64 (.f64 -1 (cbrt.f64 (pow.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 3))) (/.f64 x hi))
(+.f64 (.f64 -1 (pow.f64 (cbrt.f64 (.f64 lo (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))) 3)) (/.f64 x hi))
(log.f64 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (pow.f64 (/.f64 lo hi) 2)) (+.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (log1p.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (/.f64 hi lo) lo) (*.f64 x (pow.f64 lo -2))))))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (/.f64 hi lo) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (fma.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) (/.f64 1 lo) (/.f64 1 lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (.f64 lo (pow.f64 (hypot.f64 (pow.f64 hi -1/2) (/.f64 (sqrt.f64 x) hi)) 2))) (/.f64 x hi))
(+.f64 (.f64 -1 (.f64 lo (fma.f64 (pow.f64 hi -1/2) (pow.f64 hi -1/2) (*.f64 x (pow.f64 hi -2))))) (/.f64 x hi))
(+.f64 (log.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))) (log.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
(log.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2) (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
(-.f64 (log.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (pow.f64 (/.f64 lo hi) 2))) (log.f64 (+.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (expm1.f64 (log1p.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2))))))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (log1p.f64 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2))))))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (cbrt.f64 (pow.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2))))) 3)))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (pow.f64 (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 3) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (pow.f64 (cbrt.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2)))))) 3))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (log.f64 (+.f64 1 (expm1.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2)))))))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (log1p.f64 (-.f64 (exp.f64 (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (/.f64 x (pow.f64 lo 2))))) 1)))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (-.f64 (exp.f64 (log1p.f64 (.f64 hi (+.f64 (/.f64 1 lo) (-.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) (*.f64 x (pow.f64 lo -2))))))) 1))
(*.f64 (pow.f64 (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2) (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2)) (log.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
(log.f64 (+.f64 (exp.f64 (/.f64 x hi)) (.f64 lo (+.f64 (.f64 -1 (/.f64 (exp.f64 (/.f64 x hi)) hi)) (.f64 1/2 (/.f64 (.f64 lo (exp.f64 (/.f64 x hi))) (pow.f64 hi 2)))))))
(+.f64 (.f64 -1 (.f64 lo (.f64 (pow.f64 (cbrt.f64 (+.f64 (.f64 x (pow.f64 hi -2)) (/.f64 1 hi))) 2) (cbrt.f64 (+.f64 (*.f64 x (pow.f64 hi -2)) (/.f64 1 hi)))))) (/.f64 x hi))
(log.f64 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 3) (pow.f64 (/.f64 lo hi) 3)) (+.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (+.f64 (pow.f64 (/.f64 lo hi) 2) (*.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3)) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 3) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
(-.f64 (log.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 3) (pow.f64 (/.f64 lo hi) 3))) (log.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 x hi)) 2) (+.f64 (pow.f64 (/.f64 lo hi) 2) (*.f64 (+.f64 1 (/.f64 x hi)) (/.f64 lo hi))))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))) (sqrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
(log.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi)))) 2)) (cbrt.f64 (log1p.f64 (-.f64 (/.f64 x hi) (/.f64 lo hi))))))
(log.f64 (+.f64 (fma.f64 1 (+.f64 1 (/.f64 x hi)) (neg.f64 (.f64 (cbrt.f64 (/.f64 lo hi)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 lo hi))) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2) (.f64 (cbrt.f64 (/.f64 lo hi)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 2)))))

Outputs
(log.f64 (-.f64 1 (/.f64 lo hi)))

Calls

4 calls:

44.0ms	x
43.0ms	lo
43.0ms	hi
5.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))

Results

Accuracy	Segments	Branch
20.6%	1	`lo`
20.6%	1	`hi`
20.6%	1	`x`
20.6%	1	`(/.f64 (-.f64 x lo) (-.f64 hi lo))`

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes40.0ms (0.5%)

Counts

18 → 1

Calls

Call 1

Inputs
1
(*.f64 -1 (/.f64 lo hi))
(*.f64 x (/.f64 1 x))
(+.f64 1 (/.f64 hi lo))
(/.f64 (-.f64 x lo) hi)
(*.f64 (-.f64 x lo) (/.f64 1 hi))
(/.f64 1 (/.f64 hi (-.f64 x lo)))
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(+.f64 1 (*.f64 -1 (/.f64 (-.f64 x hi) lo)))
(/.f64 (+.f64 lo (*.f64 -1 (-.f64 x hi))) lo)
(.f64 lo (-.f64 (/.f64 x (.f64 hi lo)) (/.f64 1 hi)))
(+.f64 1 (.f64 -1 (.f64 (-.f64 x hi) (/.f64 1 lo))))
(.f64 x (+.f64 (.f64 -1 (/.f64 lo (*.f64 hi x))) (/.f64 1 hi)))
(*.f64 x (/.f64 (-.f64 (+.f64 (/.f64 hi x) (/.f64 lo x)) 1) lo))
(.f64 x (-.f64 (+.f64 (/.f64 1 x) (/.f64 hi (.f64 lo x))) (/.f64 1 lo)))
(.f64 hi (+.f64 (.f64 -1 (/.f64 x (*.f64 hi lo))) (+.f64 (/.f64 1 hi) (/.f64 1 lo))))
(.f64 hi (+.f64 (/.f64 1 lo) (/.f64 (.f64 x (-.f64 (/.f64 1 x) (/.f64 1 lo))) hi)))
(.f64 x (.f64 -1 (.f64 hi (-.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 lo)) hi)) (/.f64 1 (*.f64 lo x))))))

Outputs
(*.f64 -1 (/.f64 lo hi))

Calls

4 calls:

11.0ms	x
10.0ms	lo
9.0ms	hi
9.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))

Results

Accuracy	Segments	Branch
18.8%	1	`hi`
18.8%	1	`(/.f64 (-.f64 x lo) (-.f64 hi lo))`
18.8%	1	`lo`
18.8%	1	`x`

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes10.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Stop Event

1×

fuel

Counts

1 → 1

Calls

Call 1

Inputs
1

Outputs
1

Calls

3 calls:

4.0ms	x
3.0ms	hi
3.0ms	lo

Results

Accuracy	Segments	Branch
18.7%	1	`lo`
18.7%	1	`hi`
18.7%	1	`x`

Compiler

Compiled 33 to 26 computations (21.2% saved)

soundness76.0ms (1%)

Rules

338×	`log1p-expm1-u`
338×	`expm1-log1p-u`
332×	`add-cube-cbrt`
329×	`add-exp-log`
328×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	36	470
1	706	450

Stop Event

1×	node limit

Compiler

Compiled 15 to 7 computations (53.3% saved)

end0.0ms (0%)

preprocess33.0ms (0.5%)

Compiler: Compiled 50 to 32 computations (36% saved)

analyze1.0ms (0%)

sample1.4s (18.7%)

preprocess244.0ms (3.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize31.0ms (0.4%)

series11.0ms (0.1%)

rewrite276.0ms (3.7%)

eval20.0ms (0.3%)

prune21.0ms (0.3%)

localize483.0ms (6.6%)

series165.0ms (2.2%)

rewrite125.0ms (1.7%)

eval269.0ms (3.7%)

prune98.0ms (1.3%)

localize770.0ms (10.5%)

series127.0ms (1.7%)

rewrite143.0ms (1.9%)

eval480.0ms (6.5%)

prune117.0ms (1.6%)

localize1.4s (18.5%)

series105.0ms (1.4%)

rewrite155.0ms (2.1%)

eval520.0ms (7.1%)

prune165.0ms (2.2%)

regimes139.0ms (1.9%)

regimes40.0ms (0.5%)

regimes10.0ms (0.1%)

soundness76.0ms (1%)

end0.0ms (0%)

preprocess33.0ms (0.5%)

Profiling