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 (14.4%)

Results

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

Precisions

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

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

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

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

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

Operation const, time spent: 15.0ms, 4.0% of total-time

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

Bogosity

preprocess244.0ms (2.5%)

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)

localize33.0ms (0.3%)

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: 5.0ms

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

Operation ival-div, time spent: 2.0ms, 37.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	hi	@	0	(/.f64 (-.f64 x lo) (-.f64 hi lo))

rewrite266.0ms (2.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))))

eval22.0ms (0.2%)

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

prune20.0ms (0.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	87	8	95
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	8	96

Accuracy

19.5%

Counts

96 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
	18.7%	(/.f64 (-.f64 x lo) hi)
▶	9.7%	(-.f64 (+.f64 1 (.f64 -1 (/.f64 x lo))) (.f64 -1 (/.f64 hi lo)))
▶	9.6%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))))
▶	18.8%	(+.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.7%	(+.f64 1 (*.f64 -1 (/.f64 (-.f64 x hi) lo)))
▶	18.6%	(*.f64 -1 (/.f64 (-.f64 x lo) lo))
▶	18.7%	1

Compiler

Compiled 260 to 184 computations (29.2% saved)

localize492.0ms (5.1%)

Localize:

Found 11 expressions with local error:

New	Accuracy	Program
✓	99.6%	(/.f64 (-.f64 x lo) lo)
✓	98.8%	(/.f64 x (pow.f64 lo 2))
✓	98.5%	(*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2))))
✓	97.3%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))))
✓	100.0%	(+.f64 1 (*.f64 -1 (/.f64 x lo)))
✓	97.3%	(-.f64 (+.f64 1 (.f64 -1 (/.f64 x lo))) (.f64 -1 (/.f64 hi lo)))
✓	99.6%	(/.f64 (-.f64 x lo) lo)
✓	99.6%	(/.f64 (-.f64 x lo) lo)
✓	98.8%	(/.f64 x (pow.f64 lo 2))
✓	98.5%	(*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2))))
✓	95.1%	(.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 298 to 158 computations (47% saved)

Precisions

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

Operation ival-mult, time spent: 80.0ms, 30.0% of total-time

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

Operation ival-pow, time spent: 66.0ms, 25.0% of total-time

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

Operation ival-add, time spent: 10.0ms, 4.0% of total-time

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

series89.0ms (0.9%)

Counts

11 → 234

Calls

81 calls:

Time	Variable		Point	Expression
12.0ms	lo	@	-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))))
4.0ms	lo	@	-inf	(/.f64 (-.f64 x lo) lo)
3.0ms	x	@	-inf	(/.f64 (-.f64 x lo) lo)
3.0ms	x	@	-inf	(*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2))))
3.0ms	hi	@	0	(.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))))

rewrite198.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

306×	`prod-diff`
277×	`log1p-expm1-u`
277×	`expm1-log1p-u`
271×	`add-cube-cbrt`
269×	`add-exp-log`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	31	426
1	582	394

Stop Event

1×	node limit

Counts

11 → 312

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 x lo) lo)
(/.f64 (-.f64 x lo) lo)
(-.f64 (+.f64 1 (.f64 -1 (/.f64 x lo))) (.f64 -1 (/.f64 hi lo)))
(+.f64 1 (*.f64 -1 (/.f64 x lo)))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 1 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 x lo) lo)

Outputs
(-.f64 (exp.f64 (log1p.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2))))) 1)
(pow.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2))) 1)
(pow.f64 (cbrt.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2)))) 3)
(pow.f64 (pow.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2)))) 2)
(sqrt.f64 (pow.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2))) 2))
(log.f64 (pow.f64 (exp.f64 hi) (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2))))))
(cbrt.f64 (pow.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2))) 3))
(cbrt.f64 (.f64 (pow.f64 hi 3) (pow.f64 (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2)) 3)))
(cbrt.f64 (.f64 (pow.f64 (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2)) 3) (pow.f64 hi 3)))
(expm1.f64 (log1p.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2)))))
(log1p.f64 (expm1.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2)))))
(exp.f64 (log.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) x) (pow.f64 lo 2)))))
(exp.f64 (.f64 (log.f64 (.f64 hi (/.f64 (-.f64 (+.f64 lo (.f64 lo (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))))) 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 (sqrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 2)
(pow.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3) 1/3)
(sqrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))) hi))
(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))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2)))) 1)
(.f64 1 (.f64 x (pow.f64 lo -2)))
(*.f64 (/.f64 1 lo) (/.f64 x lo))
(*.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))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) (pow.f64 lo 2)))
(*.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) (pow.f64 lo 2)))
(*.f64 (/.f64 1 (cbrt.f64 (pow.f64 lo 4))) (/.f64 x (pow.f64 (cbrt.f64 lo) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) lo) (/.f64 (cbrt.f64 x) lo))
(.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 lo 4))) (cbrt.f64 (.f64 x (pow.f64 lo -2))))
(*.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (pow.f64 lo 4))) (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.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 (/.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 (/.f64 (pow.f64 x 2) (pow.f64 lo 4)))
(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 (/.f64 x lo) 1)
(-.f64 (exp.f64 (log1p.f64 (-.f64 (/.f64 x lo) 1))) 1)
(*.f64 1 (-.f64 (/.f64 x lo) 1))
(*.f64 (-.f64 x lo) (/.f64 1 lo))
(*.f64 -1 (-.f64 (/.f64 x lo) 1))
(*.f64 (-.f64 (/.f64 x lo) 1) -1)
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 x lo) 1)) 2) (cbrt.f64 (-.f64 (/.f64 x lo) 1)))
(*.f64 (pow.f64 lo -1/2) (/.f64 (-.f64 x lo) (sqrt.f64 lo)))
(*.f64 (sqrt.f64 (-.f64 (/.f64 x lo) 1)) (sqrt.f64 (-.f64 (/.f64 x lo) 1)))
(*.f64 (/.f64 -1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (-.f64 x lo) (cbrt.f64 lo)))
(*.f64 (/.f64 -1 (sqrt.f64 lo)) (/.f64 (-.f64 x lo) (sqrt.f64 lo)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (-.f64 x lo) (cbrt.f64 lo)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) 1) (/.f64 (cbrt.f64 (-.f64 x lo)) lo))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) (pow.f64 (cbrt.f64 lo) 2)) (cbrt.f64 (-.f64 (/.f64 x lo) 1)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) (sqrt.f64 lo)) (/.f64 (cbrt.f64 (-.f64 x lo)) (sqrt.f64 lo)))
(*.f64 (/.f64 (sqrt.f64 (-.f64 x lo)) 1) (/.f64 (sqrt.f64 (-.f64 x lo)) lo))
(*.f64 (/.f64 (sqrt.f64 (-.f64 x lo)) (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (sqrt.f64 (-.f64 x lo)) (cbrt.f64 lo)))
(pow.f64 (-.f64 (/.f64 x lo) 1) 1)
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x lo) 1)) 3)
(pow.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (/.f64 x lo) 1)) 2)
(pow.f64 (/.f64 lo (-.f64 x lo)) -1)
(neg.f64 (-.f64 (/.f64 x lo) 1))
(sqrt.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 2))
(log.f64 (exp.f64 (-.f64 (/.f64 x lo) 1)))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (/.f64 x lo) 1))))
(cbrt.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 3))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 lo -3)))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 lo 3)))
(expm1.f64 (log1p.f64 (-.f64 (/.f64 x lo) 1)))
(log1p.f64 (expm1.f64 (-.f64 (/.f64 x lo) 1)))
(exp.f64 (log.f64 (-.f64 (/.f64 x lo) 1)))
(exp.f64 (*.f64 (log.f64 (-.f64 (/.f64 x lo) 1)) 1))
(fma.f64 1 (/.f64 x lo) -1)
(fma.f64 x (/.f64 1 lo) -1)
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 x lo)) 2) (cbrt.f64 (/.f64 x lo)) -1)
(fma.f64 (sqrt.f64 (/.f64 x lo)) (sqrt.f64 (/.f64 x lo)) -1)
(-.f64 (/.f64 x lo) 1)
(-.f64 (exp.f64 (log1p.f64 (-.f64 (/.f64 x lo) 1))) 1)
(*.f64 1 (-.f64 (/.f64 x lo) 1))
(*.f64 (-.f64 x lo) (/.f64 1 lo))
(*.f64 -1 (-.f64 (/.f64 x lo) 1))
(*.f64 (-.f64 (/.f64 x lo) 1) -1)
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 x lo) 1)) 2) (cbrt.f64 (-.f64 (/.f64 x lo) 1)))
(*.f64 (pow.f64 lo -1/2) (/.f64 (-.f64 x lo) (sqrt.f64 lo)))
(*.f64 (sqrt.f64 (-.f64 (/.f64 x lo) 1)) (sqrt.f64 (-.f64 (/.f64 x lo) 1)))
(*.f64 (/.f64 -1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (-.f64 x lo) (cbrt.f64 lo)))
(*.f64 (/.f64 -1 (sqrt.f64 lo)) (/.f64 (-.f64 x lo) (sqrt.f64 lo)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (-.f64 x lo) (cbrt.f64 lo)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) 1) (/.f64 (cbrt.f64 (-.f64 x lo)) lo))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) (pow.f64 (cbrt.f64 lo) 2)) (cbrt.f64 (-.f64 (/.f64 x lo) 1)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) (sqrt.f64 lo)) (/.f64 (cbrt.f64 (-.f64 x lo)) (sqrt.f64 lo)))
(*.f64 (/.f64 (sqrt.f64 (-.f64 x lo)) 1) (/.f64 (sqrt.f64 (-.f64 x lo)) lo))
(*.f64 (/.f64 (sqrt.f64 (-.f64 x lo)) (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (sqrt.f64 (-.f64 x lo)) (cbrt.f64 lo)))
(pow.f64 (-.f64 (/.f64 x lo) 1) 1)
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x lo) 1)) 3)
(pow.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (/.f64 x lo) 1)) 2)
(pow.f64 (/.f64 lo (-.f64 x lo)) -1)
(neg.f64 (-.f64 (/.f64 x lo) 1))
(sqrt.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 2))
(log.f64 (exp.f64 (-.f64 (/.f64 x lo) 1)))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (/.f64 x lo) 1))))
(cbrt.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 3))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 lo -3)))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 lo 3)))
(expm1.f64 (log1p.f64 (-.f64 (/.f64 x lo) 1)))
(log1p.f64 (expm1.f64 (-.f64 (/.f64 x lo) 1)))
(exp.f64 (log.f64 (-.f64 (/.f64 x lo) 1)))
(exp.f64 (*.f64 (log.f64 (-.f64 (/.f64 x lo) 1)) 1))
(fma.f64 1 (/.f64 x lo) -1)
(fma.f64 x (/.f64 1 lo) -1)
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 x lo)) 2) (cbrt.f64 (/.f64 x lo)) -1)
(fma.f64 (sqrt.f64 (/.f64 x lo)) (sqrt.f64 (/.f64 x lo)) -1)
(+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo)))
(+.f64 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo))
(+.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))) (fma.f64 (/.f64 hi lo) -1 (/.f64 hi lo)))
(+.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))) (fma.f64 1 (/.f64 hi lo) (/.f64 hi lo)))
(+.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 hi lo))) (sqrt.f64 (/.f64 hi lo)) (/.f64 hi lo)))
(+.f64 (fma.f64 1 (+.f64 1 (/.f64 x lo)) (neg.f64 (.f64 (/.f64 hi lo) 1))) (fma.f64 (/.f64 hi lo) 1 (.f64 (/.f64 hi lo) 1)))
(+.f64 (fma.f64 1 (+.f64 1 (/.f64 x lo)) (neg.f64 (.f64 (cbrt.f64 (/.f64 hi lo)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 hi lo))) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (.f64 (cbrt.f64 (/.f64 hi lo)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (+.f64 1 (/.f64 x lo))) 2) (cbrt.f64 (+.f64 1 (/.f64 x lo))) (neg.f64 (.f64 (/.f64 hi lo) 1))) (fma.f64 (/.f64 hi lo) 1 (.f64 (/.f64 hi lo) 1)))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (+.f64 1 (/.f64 x lo))) 2) (cbrt.f64 (+.f64 1 (/.f64 x lo))) (neg.f64 (.f64 (cbrt.f64 (/.f64 hi lo)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 hi lo))) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (.f64 (cbrt.f64 (/.f64 hi lo)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2))))
(+.f64 (fma.f64 (sqrt.f64 (+.f64 1 (/.f64 x lo))) (sqrt.f64 (+.f64 1 (/.f64 x lo))) (neg.f64 (.f64 (/.f64 hi lo) 1))) (fma.f64 (/.f64 hi lo) 1 (.f64 (/.f64 hi lo) 1)))
(+.f64 (fma.f64 (sqrt.f64 (+.f64 1 (/.f64 x lo))) (sqrt.f64 (+.f64 1 (/.f64 x lo))) (neg.f64 (.f64 (cbrt.f64 (/.f64 hi lo)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 hi lo))) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (.f64 (cbrt.f64 (/.f64 hi lo)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2))))
(*.f64 1 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo)))) 2) (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo)))))
(*.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo)))) (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo)))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 2) (+.f64 (pow.f64 (/.f64 hi lo) 2) (*.f64 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo)))) (-.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 3) (pow.f64 (/.f64 hi lo) 3))))
(/.f64 1 (/.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))) (-.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 2) (pow.f64 (/.f64 hi lo) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 3) (pow.f64 (/.f64 hi lo) 3)) (+.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 2) (+.f64 (pow.f64 (/.f64 hi lo) 2) (*.f64 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo)))))
(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 2) (pow.f64 (/.f64 hi lo) 2)) (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))))
(/.f64 (+.f64 (.f64 (+.f64 1 (pow.f64 (/.f64 x lo) 3)) lo) (.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))) hi)) (*.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))) lo))
(/.f64 (+.f64 (.f64 (+.f64 1 (pow.f64 (/.f64 x lo) 3)) (/.f64 lo hi)) (.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))) 1)) (*.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))) (/.f64 lo hi)))
(/.f64 (+.f64 (.f64 (+.f64 1 (pow.f64 (/.f64 x lo) 3)) (neg.f64 lo)) (.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))) (neg.f64 hi))) (*.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))) (neg.f64 lo)))
(/.f64 (+.f64 (.f64 (-.f64 1 (pow.f64 (/.f64 x lo) 2)) lo) (.f64 (-.f64 1 (/.f64 x lo)) hi)) (*.f64 (-.f64 1 (/.f64 x lo)) lo))
(/.f64 (+.f64 (.f64 (-.f64 1 (pow.f64 (/.f64 x lo) 2)) (/.f64 lo hi)) (.f64 (-.f64 1 (/.f64 x lo)) 1)) (*.f64 (-.f64 1 (/.f64 x lo)) (/.f64 lo hi)))
(/.f64 (+.f64 (.f64 (-.f64 1 (pow.f64 (/.f64 x lo) 2)) (neg.f64 lo)) (.f64 (-.f64 1 (/.f64 x lo)) (neg.f64 hi))) (*.f64 (-.f64 1 (/.f64 x lo)) (neg.f64 lo)))
(/.f64 (+.f64 (.f64 (+.f64 1 (pow.f64 (/.f64 x lo) 3)) lo) (.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))) (.f64 -1 hi))) (.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))) lo))
(/.f64 (+.f64 (.f64 (-.f64 1 (pow.f64 (/.f64 x lo) 2)) lo) (.f64 (-.f64 1 (/.f64 x lo)) (.f64 -1 hi))) (.f64 (-.f64 1 (/.f64 x lo)) lo))
(/.f64 (-.f64 (.f64 (+.f64 1 (pow.f64 (/.f64 x lo) 3)) lo) (.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))) (.f64 -1 hi))) (.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))) lo))
(/.f64 (-.f64 (.f64 (-.f64 1 (pow.f64 (/.f64 x lo) 2)) lo) (.f64 (-.f64 1 (/.f64 x lo)) (.f64 -1 hi))) (.f64 (-.f64 1 (/.f64 x lo)) lo))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 3) (pow.f64 (/.f64 hi lo) 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 2) (+.f64 (pow.f64 (/.f64 hi lo) 2) (*.f64 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 2) (pow.f64 (/.f64 hi lo) 2))) (neg.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo)))))
(/.f64 (+.f64 1 (pow.f64 (-.f64 (/.f64 x lo) (/.f64 hi lo)) 3)) (+.f64 1 (-.f64 (*.f64 (-.f64 (/.f64 x lo) (/.f64 hi lo)) (-.f64 (/.f64 x lo) (/.f64 hi lo))) (-.f64 (/.f64 x lo) (/.f64 hi lo)))))
(/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 3) (pow.f64 (/.f64 hi lo) 3)) (+.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 2) (-.f64 (pow.f64 (/.f64 hi lo) 2) (*.f64 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo)))))
(pow.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))) 1)
(pow.f64 (cbrt.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo)))) 3)
(pow.f64 (pow.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo)))) 2)
(sqrt.f64 (pow.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))) 2))
(log.f64 (exp.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo)))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))))))
(cbrt.f64 (pow.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))) 3))
(expm1.f64 (log1p.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo)))))
(log1p.f64 (expm1.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo)))))
(exp.f64 (log1p.f64 (-.f64 (/.f64 x lo) (/.f64 hi lo))))
(exp.f64 (*.f64 (log1p.f64 (-.f64 (/.f64 x lo) (/.f64 hi lo))) 1))
(fma.f64 1 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 1 (/.f64 x lo))) 2) (cbrt.f64 (+.f64 1 (/.f64 x lo))) (/.f64 hi lo))
(fma.f64 (sqrt.f64 (+.f64 1 (/.f64 x lo))) (sqrt.f64 (+.f64 1 (/.f64 x lo))) (/.f64 hi lo))
(-.f64 (exp.f64 (log1p.f64 (+.f64 1 (/.f64 x lo)))) 1)
(-.f64 (/.f64 1 (-.f64 1 (/.f64 x lo))) (/.f64 (pow.f64 (/.f64 x lo) 2) (-.f64 1 (/.f64 x lo))))
(*.f64 1 (+.f64 1 (/.f64 x lo)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 1 (/.f64 x lo))) 2) (cbrt.f64 (+.f64 1 (/.f64 x lo))))
(*.f64 (sqrt.f64 (+.f64 1 (/.f64 x lo))) (sqrt.f64 (+.f64 1 (/.f64 x lo))))
(/.f64 1 (/.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))) (+.f64 1 (pow.f64 (/.f64 x lo) 3))))
(/.f64 1 (/.f64 (-.f64 1 (/.f64 x lo)) (-.f64 1 (pow.f64 (/.f64 x lo) 2))))
(/.f64 (+.f64 1 (pow.f64 (/.f64 x lo) 3)) (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo))))
(/.f64 (-.f64 1 (pow.f64 (/.f64 x lo) 2)) (-.f64 1 (/.f64 x lo)))
(/.f64 (neg.f64 (+.f64 1 (pow.f64 (/.f64 x lo) 3))) (neg.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 x lo) 2) (/.f64 x lo)))))
(/.f64 (neg.f64 (-.f64 1 (pow.f64 (/.f64 x lo) 2))) (neg.f64 (-.f64 1 (/.f64 x lo))))
(/.f64 (+.f64 (pow.f64 (/.f64 x lo) 3) 1) (+.f64 (pow.f64 (/.f64 x lo) 2) (-.f64 1 (*.f64 (/.f64 x lo) 1))))
(pow.f64 (+.f64 1 (/.f64 x lo)) 1)
(pow.f64 (cbrt.f64 (+.f64 1 (/.f64 x lo))) 3)
(pow.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 1 (/.f64 x lo))) 2)
(sqrt.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 2))
(log.f64 (exp.f64 (+.f64 1 (/.f64 x lo))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (/.f64 x lo)))))
(cbrt.f64 (pow.f64 (+.f64 1 (/.f64 x lo)) 3))
(expm1.f64 (log1p.f64 (+.f64 1 (/.f64 x lo))))
(log1p.f64 (expm1.f64 (+.f64 1 (/.f64 x lo))))
(exp.f64 (log1p.f64 (/.f64 x lo)))
(exp.f64 (*.f64 (log1p.f64 (/.f64 x lo)) 1))
(fma.f64 1 (/.f64 x lo) 1)
(fma.f64 -1 (/.f64 x lo) 1)
(fma.f64 (/.f64 x lo) -1 1)
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 x lo)) 2) (cbrt.f64 (/.f64 x lo)) 1)
(fma.f64 (sqrt.f64 (/.f64 x lo)) (sqrt.f64 (/.f64 x lo)) 1)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1)))) 1)
(-.f64 (/.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 2) (-.f64 (-.f64 (/.f64 x lo) 1) (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) (/.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 2) (-.f64 (-.f64 (/.f64 x lo) 1) (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))))
(.f64 1 (fma.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1)))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))) 2) (cbrt.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))))
(.f64 (sqrt.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))) (sqrt.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 2) (-.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 2) (.f64 (-.f64 (/.f64 x lo) 1) (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))))) (+.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 3) (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))) 3))))
(/.f64 1 (/.f64 (-.f64 (-.f64 (/.f64 x lo) 1) (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) (-.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 2) (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 2))))
(/.f64 (+.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 3) (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3)) (+.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 2) (-.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 2) (.f64 (-.f64 (/.f64 x lo) 1) (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))))))))
(/.f64 (-.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 2) (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 2)) (-.f64 (-.f64 (/.f64 x lo) 1) (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 3) (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3))) (neg.f64 (+.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 2) (-.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 2) (.f64 (-.f64 (/.f64 x lo) 1) (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 2) (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 2))) (neg.f64 (-.f64 (-.f64 (/.f64 x lo) 1) (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))))
(/.f64 (+.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3) (pow.f64 (-.f64 (/.f64 x lo) 1) 3)) (+.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 2) (-.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 2) (.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))) (-.f64 (/.f64 x lo) 1)))))
(pow.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1)) 1)
(pow.f64 (cbrt.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))) 3)
(pow.f64 (pow.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))) 2)
(sqrt.f64 (pow.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1)) 2))
(log.f64 (exp.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1)))))
(cbrt.f64 (pow.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1)) 3))
(expm1.f64 (log1p.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))))
(log1p.f64 (expm1.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))))
(exp.f64 (log.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))))
(exp.f64 (.f64 (log.f64 (fma.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))) 1))
(fma.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) (-.f64 (/.f64 x lo) 1))
(fma.f64 1 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) (-.f64 (/.f64 x lo) 1))
(fma.f64 1 (-.f64 (/.f64 x lo) 1) (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))
(fma.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2))) hi (-.f64 (/.f64 x lo) 1))
(fma.f64 -1 (-.f64 (/.f64 x lo) 1) (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))
(fma.f64 (-.f64 (/.f64 x lo) 1) -1 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 x lo) 1)) 2) (cbrt.f64 (-.f64 (/.f64 x lo) 1)) (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 2) (cbrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) (-.f64 (/.f64 x lo) 1))
(fma.f64 (sqrt.f64 (-.f64 (/.f64 x lo) 1)) (sqrt.f64 (-.f64 (/.f64 x lo) 1)) (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))
(fma.f64 (sqrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) (sqrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) (-.f64 (/.f64 x lo) 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 (sqrt.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))) 2)
(pow.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 3) 1/3)
(sqrt.f64 (pow.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))) hi))
(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))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 lo -2)))) 1)
(.f64 1 (.f64 x (pow.f64 lo -2)))
(*.f64 (/.f64 1 lo) (/.f64 x lo))
(*.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))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) (pow.f64 lo 2)))
(*.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) (pow.f64 lo 2)))
(*.f64 (/.f64 1 (cbrt.f64 (pow.f64 lo 4))) (/.f64 x (pow.f64 (cbrt.f64 lo) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) lo) (/.f64 (cbrt.f64 x) lo))
(.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 lo 4))) (cbrt.f64 (.f64 x (pow.f64 lo -2))))
(*.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (pow.f64 lo 4))) (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.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 (/.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 (/.f64 (pow.f64 x 2) (pow.f64 lo 4)))
(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 (/.f64 x lo) 1)
(-.f64 (exp.f64 (log1p.f64 (-.f64 (/.f64 x lo) 1))) 1)
(*.f64 1 (-.f64 (/.f64 x lo) 1))
(*.f64 (-.f64 x lo) (/.f64 1 lo))
(*.f64 -1 (-.f64 (/.f64 x lo) 1))
(*.f64 (-.f64 (/.f64 x lo) 1) -1)
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 x lo) 1)) 2) (cbrt.f64 (-.f64 (/.f64 x lo) 1)))
(*.f64 (pow.f64 lo -1/2) (/.f64 (-.f64 x lo) (sqrt.f64 lo)))
(*.f64 (sqrt.f64 (-.f64 (/.f64 x lo) 1)) (sqrt.f64 (-.f64 (/.f64 x lo) 1)))
(*.f64 (/.f64 -1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (-.f64 x lo) (cbrt.f64 lo)))
(*.f64 (/.f64 -1 (sqrt.f64 lo)) (/.f64 (-.f64 x lo) (sqrt.f64 lo)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (-.f64 x lo) (cbrt.f64 lo)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) 1) (/.f64 (cbrt.f64 (-.f64 x lo)) lo))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) (pow.f64 (cbrt.f64 lo) 2)) (cbrt.f64 (-.f64 (/.f64 x lo) 1)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) (sqrt.f64 lo)) (/.f64 (cbrt.f64 (-.f64 x lo)) (sqrt.f64 lo)))
(*.f64 (/.f64 (sqrt.f64 (-.f64 x lo)) 1) (/.f64 (sqrt.f64 (-.f64 x lo)) lo))
(*.f64 (/.f64 (sqrt.f64 (-.f64 x lo)) (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (sqrt.f64 (-.f64 x lo)) (cbrt.f64 lo)))
(pow.f64 (-.f64 (/.f64 x lo) 1) 1)
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x lo) 1)) 3)
(pow.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (/.f64 x lo) 1)) 2)
(pow.f64 (/.f64 lo (-.f64 x lo)) -1)
(neg.f64 (-.f64 (/.f64 x lo) 1))
(sqrt.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 2))
(log.f64 (exp.f64 (-.f64 (/.f64 x lo) 1)))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (/.f64 x lo) 1))))
(cbrt.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 3))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 lo -3)))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 lo 3)))
(expm1.f64 (log1p.f64 (-.f64 (/.f64 x lo) 1)))
(log1p.f64 (expm1.f64 (-.f64 (/.f64 x lo) 1)))
(exp.f64 (log.f64 (-.f64 (/.f64 x lo) 1)))
(exp.f64 (*.f64 (log.f64 (-.f64 (/.f64 x lo) 1)) 1))
(fma.f64 1 (/.f64 x lo) -1)
(fma.f64 x (/.f64 1 lo) -1)
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 x lo)) 2) (cbrt.f64 (/.f64 x lo)) -1)
(fma.f64 (sqrt.f64 (/.f64 x lo)) (sqrt.f64 (/.f64 x lo)) -1)

eval472.0ms (4.9%)

Compiler: Compiled 26799 to 15809 computations (41% saved)

prune219.0ms (2.3%)

Pruning

31 alts after pruning (29 fresh and 2 done)

	Pruned	Kept	Total
New	1060	26	1086
Fresh	0	3	3
Picked	3	2	5
Done	0	0	0
Total	1063	31	1094

Accuracy

19.7%

Counts

1094 → 31

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	9.6%	(/.f64 (-.f64 (+.f64 lo (.f64 -1 x)) (.f64 -1 hi)) lo)
	18.7%	(/.f64 (-.f64 x lo) hi)
✓	9.7%	(-.f64 (+.f64 1 (.f64 -1 (/.f64 x lo))) (.f64 -1 (/.f64 hi lo)))
	9.6%	(+.f64 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo))
	9.6%	(+.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))) (fma.f64 1 (/.f64 hi lo) (/.f64 hi lo)))
	9.6%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))))
	18.8%	(+.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.8%	(+.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.8%	(+.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 (/.f64 1 lo) (/.f64 x lo)))))
▶	18.8%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.8%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.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 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log.f64 (+.f64 1 (expm1.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 (-.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)))))
	9.6%	(+.f64 (.f64 -1 (/.f64 x 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 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) 1) (/.f64 (cbrt.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 (/.f64 (sqrt.f64 (-.f64 x lo)) (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (sqrt.f64 (-.f64 x lo)) (cbrt.f64 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 (/.f64 (sqrt.f64 (-.f64 x lo)) 1) (/.f64 (sqrt.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 (/.f64 1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (-.f64 x lo) (cbrt.f64 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 (-.f64 x lo) (/.f64 1 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 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.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))
	1.9%	(+.f64 (.f64 -1 (neg.f64 (-.f64 (/.f64 x lo) 1))) (.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 -1) (.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)))))
▶	9.7%	(+.f64 1 (/.f64 hi lo))
	9.7%	(+.f64 1 (*.f64 -1 (/.f64 (-.f64 x hi) lo)))
	18.7%	(+.f64 1 (*.f64 -1 (/.f64 x lo)))
	14.0%	(.f64 x (-.f64 (/.f64 1 x) (+.f64 (.f64 -1 (/.f64 hi (*.f64 lo x))) (/.f64 1 lo))))
	9.7%	(.f64 hi (+.f64 (.f64 -1 (/.f64 x (*.f64 hi lo))) (+.f64 (/.f64 1 hi) (/.f64 1 lo))))
	18.6%	(.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo)))
	18.7%	(.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x))))
✓	18.7%	1

Compiler

Compiled 1660 to 1130 computations (31.9% saved)

localize1.0s (10.6%)

Localize:

Found 15 expressions with local error:

New	Accuracy	Program
✓	98.8%	(*.f64 x (pow.f64 lo -2))
✓	98.8%	(/.f64 x (pow.f64 lo 2))
✓	98.5%	(.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))
✓	95.1%	(.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))))
✓	99.6%	(/.f64 (-.f64 x lo) lo)
✓	98.8%	(/.f64 x (pow.f64 lo 2))
✓	98.5%	(.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo))))
✓	95.1%	(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2))))
✓	100.0%	(/.f64 (-.f64 (+.f64 lo (.f64 -1 x)) (.f64 -1 hi)) lo)
✓	99.6%	(-.f64 (+.f64 lo (.f64 -1 x)) (.f64 -1 hi))
✓	97.3%	(+.f64 1 (/.f64 hi lo))
✓	99.7%	(+.f64 (/.f64 1 lo) (/.f64 (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo))
✓	98.8%	(/.f64 x (pow.f64 lo 2))
✓	98.5%	(*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2))))
✓	95.1%	(.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 599 to 360 computations (39.9% saved)

Precisions

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

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

Operation ival-pow, time spent: 171.0ms, 27.0% of total-time

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

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

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

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

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

series90.0ms (0.9%)

Counts

15 → 366

Calls

117 calls:

Time	Variable		Point	Expression
4.0ms	lo	@	-inf	(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2))))
4.0ms	hi	@	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))))
3.0ms	x	@	inf	(*.f64 x (pow.f64 lo -2))
3.0ms	lo	@	0	(*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2))))
3.0ms	hi	@	-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))))

rewrite225.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

504×	`prod-diff`
396×	`log1p-expm1-u`
396×	`expm1-log1p-u`
387×	`add-cube-cbrt`
385×	`add-exp-log`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	674
1	1053	651

Stop Event

1×	node limit

Counts

15 → 295

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 1 (/.f64 hi lo))
(-.f64 (+.f64 lo (.f64 -1 x)) (.f64 -1 hi))
(/.f64 (-.f64 (+.f64 lo (.f64 -1 x)) (.f64 -1 hi)) lo)
(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2))))
(.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo))))
(/.f64 x (pow.f64 lo 2))
(/.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 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))
(/.f64 x (pow.f64 lo 2))
(*.f64 x (pow.f64 lo -2))

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)
(log.f64 (pow.f64 (exp.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)))) hi))
(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 (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 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))) hi))
(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 x (pow.f64 lo -2)))
(*.f64 (/.f64 1 lo) (/.f64 x lo))
(*.f64 x (pow.f64 lo -2))
(*.f64 (/.f64 x lo) (/.f64 1 lo))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (pow.f64 lo -2))) 2) (cbrt.f64 (*.f64 x (pow.f64 lo -2))))
(*.f64 (pow.f64 lo -2) x)
(.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 (pow.f64 lo -2)) x))
(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)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 x lo) 3) (pow.f64 lo 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 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) 2)) (-.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo)))
(/.f64 (+.f64 (pow.f64 lo -3) (pow.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) 3)) (+.f64 (pow.f64 lo -2) (-.f64 (pow.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo) 2) (.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.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)
(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 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo))
(fma.f64 1 (/.f64 (.f64 hi (-.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 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo)) 2) (cbrt.f64 (/.f64 (.f64 hi (-.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 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo))
(fma.f64 (sqrt.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo)) (sqrt.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo)) (/.f64 1 lo))
(fma.f64 (sqrt.f64 (/.f64 1 lo)) (sqrt.f64 (/.f64 1 lo)) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo))
(-.f64 (exp.f64 (log1p.f64 (+.f64 1 (/.f64 hi lo)))) 1)
(*.f64 1 (+.f64 1 (/.f64 hi lo)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 1 (/.f64 hi lo))) 2) (cbrt.f64 (+.f64 1 (/.f64 hi lo))))
(*.f64 (sqrt.f64 (+.f64 1 (/.f64 hi lo))) (sqrt.f64 (+.f64 1 (/.f64 hi lo))))
(/.f64 (+.f64 1 (pow.f64 (/.f64 hi lo) 3)) (+.f64 1 (-.f64 (pow.f64 (/.f64 hi lo) 2) (/.f64 hi lo))))
(/.f64 (-.f64 1 (pow.f64 (/.f64 hi lo) 2)) (-.f64 1 (/.f64 hi lo)))
(pow.f64 (+.f64 1 (/.f64 hi lo)) 1)
(pow.f64 (cbrt.f64 (+.f64 1 (/.f64 hi lo))) 3)
(pow.f64 (pow.f64 (+.f64 1 (/.f64 hi lo)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 1 (/.f64 hi lo))) 2)
(log.f64 (exp.f64 (+.f64 1 (/.f64 hi lo))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (/.f64 hi lo)))))
(cbrt.f64 (pow.f64 (+.f64 1 (/.f64 hi lo)) 3))
(expm1.f64 (log1p.f64 (+.f64 1 (/.f64 hi lo))))
(log1p.f64 (expm1.f64 (+.f64 1 (/.f64 hi lo))))
(exp.f64 (log1p.f64 (/.f64 hi lo)))
(exp.f64 (*.f64 (log1p.f64 (/.f64 hi lo)) 1))
(fma.f64 hi (/.f64 1 lo) 1)
(fma.f64 1 (/.f64 hi lo) 1)
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (cbrt.f64 (/.f64 hi lo)) 1)
(fma.f64 (sqrt.f64 (/.f64 hi lo)) (sqrt.f64 (/.f64 hi lo)) 1)
(+.f64 lo (-.f64 (neg.f64 x) (neg.f64 hi)))
(+.f64 (fma.f64 x -1 lo) hi)
(+.f64 (fma.f64 x -1 lo) (neg.f64 (neg.f64 hi)))
(+.f64 (+.f64 (fma.f64 x -1 lo) hi) (fma.f64 1 hi (neg.f64 hi)))
(+.f64 (+.f64 (fma.f64 x -1 lo) hi) (fma.f64 (neg.f64 hi) -1 (neg.f64 hi)))
(+.f64 (+.f64 (fma.f64 x -1 lo) hi) (fma.f64 (neg.f64 (sqrt.f64 (neg.f64 hi))) (sqrt.f64 (neg.f64 hi)) (neg.f64 hi)))
(+.f64 (fma.f64 1 (fma.f64 x -1 lo) (neg.f64 (.f64 (neg.f64 hi) 1))) (fma.f64 (neg.f64 (neg.f64 hi)) 1 (.f64 (neg.f64 hi) 1)))
(+.f64 (fma.f64 1 (fma.f64 x -1 lo) (neg.f64 (.f64 (cbrt.f64 (neg.f64 hi)) (pow.f64 (cbrt.f64 (neg.f64 hi)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (neg.f64 hi))) (pow.f64 (cbrt.f64 (neg.f64 hi)) 2) (.f64 (cbrt.f64 (neg.f64 hi)) (pow.f64 (cbrt.f64 (neg.f64 hi)) 2))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (fma.f64 x -1 lo)) 2) (cbrt.f64 (fma.f64 x -1 lo)) (neg.f64 (.f64 (neg.f64 hi) 1))) (fma.f64 (neg.f64 (neg.f64 hi)) 1 (.f64 (neg.f64 hi) 1)))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (fma.f64 x -1 lo)) 2) (cbrt.f64 (fma.f64 x -1 lo)) (neg.f64 (.f64 (cbrt.f64 (neg.f64 hi)) (pow.f64 (cbrt.f64 (neg.f64 hi)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (neg.f64 hi))) (pow.f64 (cbrt.f64 (neg.f64 hi)) 2) (.f64 (cbrt.f64 (neg.f64 hi)) (pow.f64 (cbrt.f64 (neg.f64 hi)) 2))))
(+.f64 (fma.f64 (sqrt.f64 (fma.f64 x -1 lo)) (sqrt.f64 (fma.f64 x -1 lo)) (neg.f64 (.f64 (neg.f64 hi) 1))) (fma.f64 (neg.f64 (neg.f64 hi)) 1 (.f64 (neg.f64 hi) 1)))
(+.f64 (fma.f64 (sqrt.f64 (fma.f64 x -1 lo)) (sqrt.f64 (fma.f64 x -1 lo)) (neg.f64 (.f64 (cbrt.f64 (neg.f64 hi)) (pow.f64 (cbrt.f64 (neg.f64 hi)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (neg.f64 hi))) (pow.f64 (cbrt.f64 (neg.f64 hi)) 2) (.f64 (cbrt.f64 (neg.f64 hi)) (pow.f64 (cbrt.f64 (neg.f64 hi)) 2))))
(*.f64 1 (+.f64 (fma.f64 x -1 lo) hi))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (fma.f64 x -1 lo) hi)) 2) (cbrt.f64 (+.f64 (fma.f64 x -1 lo) hi)))
(*.f64 (sqrt.f64 (+.f64 (fma.f64 x -1 lo) hi)) (sqrt.f64 (+.f64 (fma.f64 x -1 lo) hi)))
(/.f64 (-.f64 (pow.f64 (fma.f64 x -1 lo) 3) (pow.f64 (neg.f64 hi) 3)) (+.f64 (pow.f64 (fma.f64 x -1 lo) 2) (+.f64 (pow.f64 (neg.f64 hi) 2) (*.f64 (fma.f64 x -1 lo) (neg.f64 hi)))))
(/.f64 (-.f64 (pow.f64 (fma.f64 x -1 lo) 2) (pow.f64 (neg.f64 hi) 2)) (+.f64 (fma.f64 x -1 lo) (neg.f64 hi)))
(pow.f64 (+.f64 (fma.f64 x -1 lo) hi) 1)
(pow.f64 (cbrt.f64 (+.f64 (fma.f64 x -1 lo) hi)) 3)
(pow.f64 (pow.f64 (+.f64 (fma.f64 x -1 lo) hi) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (fma.f64 x -1 lo) hi)) 2)
(log.f64 (exp.f64 (+.f64 (fma.f64 x -1 lo) hi)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (fma.f64 x -1 lo) hi))))
(cbrt.f64 (pow.f64 (+.f64 (fma.f64 x -1 lo) hi) 3))
(expm1.f64 (log1p.f64 (+.f64 (fma.f64 x -1 lo) hi)))
(log1p.f64 (expm1.f64 (+.f64 (fma.f64 x -1 lo) hi)))
(exp.f64 (log.f64 (+.f64 (fma.f64 x -1 lo) hi)))
(exp.f64 (*.f64 (log.f64 (+.f64 (fma.f64 x -1 lo) hi)) 1))
(fma.f64 1 lo (-.f64 (neg.f64 x) (neg.f64 hi)))
(fma.f64 1 (fma.f64 x -1 lo) hi)
(fma.f64 1 (fma.f64 x -1 lo) (neg.f64 (neg.f64 hi)))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 x -1 lo)) 2) (cbrt.f64 (fma.f64 x -1 lo)) hi)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 x -1 lo)) 2) (cbrt.f64 (fma.f64 x -1 lo)) (neg.f64 (neg.f64 hi)))
(fma.f64 (pow.f64 (cbrt.f64 lo) 2) (cbrt.f64 lo) (-.f64 (neg.f64 x) (neg.f64 hi)))
(fma.f64 (sqrt.f64 (fma.f64 x -1 lo)) (sqrt.f64 (fma.f64 x -1 lo)) hi)
(fma.f64 (sqrt.f64 (fma.f64 x -1 lo)) (sqrt.f64 (fma.f64 x -1 lo)) (neg.f64 (neg.f64 hi)))
(fma.f64 (sqrt.f64 lo) (sqrt.f64 lo) (-.f64 (neg.f64 x) (neg.f64 hi)))
(-.f64 (/.f64 (fma.f64 x -1 lo) lo) (/.f64 (neg.f64 hi) lo))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo))) 1)
(*.f64 1 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo))
(*.f64 (+.f64 (fma.f64 x -1 lo) hi) (/.f64 1 lo))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo)) 2) (cbrt.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo)))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo)) (sqrt.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo)))
(pow.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo) 1)
(pow.f64 (cbrt.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo)) 3)
(pow.f64 (pow.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo)) 2)
(pow.f64 (/.f64 lo (+.f64 (fma.f64 x -1 lo) hi)) -1)
(log.f64 (exp.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo))))
(cbrt.f64 (pow.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo) 3))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 (fma.f64 x -1 lo) hi) 3) (pow.f64 lo -3)))
(cbrt.f64 (/.f64 (pow.f64 (+.f64 (fma.f64 x -1 lo) hi) 3) (pow.f64 lo 3)))
(expm1.f64 (log1p.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo)))
(log1p.f64 (expm1.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo)))
(exp.f64 (log.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo)))
(exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 (fma.f64 x -1 lo) hi) lo)) 1))
(-.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)
(log.f64 (pow.f64 (exp.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)))) hi))
(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 (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 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))) hi))
(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 x (pow.f64 lo -2)))
(*.f64 (/.f64 1 lo) (/.f64 x lo))
(*.f64 x (pow.f64 lo -2))
(*.f64 (/.f64 x lo) (/.f64 1 lo))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (pow.f64 lo -2))) 2) (cbrt.f64 (*.f64 x (pow.f64 lo -2))))
(*.f64 (pow.f64 lo -2) x)
(.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 (pow.f64 lo -2)) x))
(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)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 x lo) 3) (pow.f64 lo 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 (/.f64 x lo) 1)
(-.f64 (exp.f64 (log1p.f64 (-.f64 (/.f64 x lo) 1))) 1)
(*.f64 1 (-.f64 (/.f64 x lo) 1))
(*.f64 (-.f64 x lo) (/.f64 1 lo))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 x lo) 1)) 2) (cbrt.f64 (-.f64 (/.f64 x lo) 1)))
(*.f64 (sqrt.f64 (-.f64 (/.f64 x lo) 1)) (sqrt.f64 (-.f64 (/.f64 x lo) 1)))
(pow.f64 (-.f64 (/.f64 x lo) 1) 1)
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x lo) 1)) 3)
(pow.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (/.f64 x lo) 1)) 2)
(pow.f64 (/.f64 lo (-.f64 x lo)) -1)
(log.f64 (exp.f64 (-.f64 (/.f64 x lo) 1)))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (/.f64 x lo) 1))))
(cbrt.f64 (pow.f64 (-.f64 (/.f64 x lo) 1) 3))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 lo -3)))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 lo 3)))
(expm1.f64 (log1p.f64 (-.f64 (/.f64 x lo) 1)))
(log1p.f64 (expm1.f64 (-.f64 (/.f64 x lo) 1)))
(exp.f64 (log.f64 (-.f64 (/.f64 x lo) 1)))
(exp.f64 (*.f64 (log.f64 (-.f64 (/.f64 x lo) 1)) 1))
(fma.f64 1 (/.f64 x lo) -1)
(fma.f64 x (/.f64 1 lo) -1)
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 x lo)) 2) (cbrt.f64 (/.f64 x lo)) -1)
(fma.f64 (sqrt.f64 (/.f64 x lo)) (sqrt.f64 (/.f64 x lo)) -1)
(-.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)
(log.f64 (pow.f64 (exp.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)))) hi))
(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 (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 (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))) hi))
(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 x (pow.f64 lo -2)))
(*.f64 (/.f64 1 lo) (/.f64 x lo))
(*.f64 x (pow.f64 lo -2))
(*.f64 (/.f64 x lo) (/.f64 1 lo))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (pow.f64 lo -2))) 2) (cbrt.f64 (*.f64 x (pow.f64 lo -2))))
(*.f64 (pow.f64 lo -2) x)
(.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 (pow.f64 lo -2)) x))
(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)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 x lo) 3) (pow.f64 lo 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 (pow.f64 lo 2) x))
(/.f64 x (pow.f64 lo 2))
(/.f64 (neg.f64 x) (neg.f64 (pow.f64 lo 2)))
(/.f64 (/.f64 x lo) lo)
(/.f64 (*.f64 (/.f64 1 lo) x) lo)
(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 (pow.f64 lo -2)) x))
(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)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 x lo) 3) (pow.f64 lo 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))

eval999.0ms (10.3%)

Compiler: Compiled 27723 to 17434 computations (37.1% saved)

prune250.0ms (2.6%)

Pruning

41 alts after pruning (38 fresh and 3 done)

	Pruned	Kept	Total
New	882	25	907
Fresh	11	13	24
Picked	4	1	5
Done	0	2	2
Total	897	41	938

Accuracy

19.7%

Counts

938 → 41

Alt Table

Click to see full alt table

Status	Accuracy	Program
	18.7%	(/.f64 (-.f64 x lo) hi)
	9.7%	(/.f64 (+.f64 lo (-.f64 (neg.f64 x) (neg.f64 hi))) lo)
▶	9.7%	(/.f64 (+.f64 hi lo) lo)
	9.7%	(/.f64 (.f64 hi (+.f64 1 (+.f64 (.f64 -1 (/.f64 x hi)) (/.f64 lo hi)))) lo)
✓	9.7%	(-.f64 (+.f64 1 (.f64 -1 (/.f64 x lo))) (.f64 -1 (/.f64 hi lo)))
	9.6%	(+.f64 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo))
	18.8%	(+.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.8%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (*.f64 (/.f64 x lo) (/.f64 1 lo)))))
	18.8%	(+.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.8%	(+.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)))))
	14.4%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (.f64 x (+.f64 (.f64 -1 (/.f64 hi (pow.f64 lo 2))) (/.f64 hi (*.f64 lo x)))) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.8%	(+.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 (/.f64 x lo) lo))) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.8%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (expm1.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 (-.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)))))
	9.7%	(+.f64 (.f64 -1 (/.f64 x lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
	9.6%	(+.f64 (.f64 -1 (/.f64 x 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.9%	(+.f64 (.f64 -1 (-.f64 (/.f64 x lo) 1)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.8%	(+.f64 (.f64 -1 (.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) 1) (/.f64 (cbrt.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 (/.f64 (sqrt.f64 (-.f64 x lo)) (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (sqrt.f64 (-.f64 x lo)) (cbrt.f64 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 (/.f64 (sqrt.f64 (-.f64 x lo)) 1) (/.f64 (sqrt.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 (/.f64 1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (-.f64 x lo) (cbrt.f64 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 (-.f64 x lo) (/.f64 1 lo))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.8%	(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 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.9%	(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
▶	18.9%	(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.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 (+.f64 (*.f64 -1 (/.f64 x (pow.f64 hi 2))) (/.f64 1 hi)))) (/.f64 x hi))
	1.9%	(+.f64 (.f64 -1 (neg.f64 (-.f64 (/.f64 x lo) 1))) (.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 -1) (.f64 hi (-.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo)) 2) (cbrt.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo)) (/.f64 1 lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 -1) (.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 -1) (.f64 hi (-.f64 (/.f64 (+.f64 1 (/.f64 hi lo)) lo) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 -1) (.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 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (.f64 (/.f64 x lo) (/.f64 1 lo)))))
▶	18.9%	(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) lo)) (/.f64 x (pow.f64 lo 2)))))
✓	9.7%	(+.f64 1 (/.f64 hi lo))
	18.7%	(+.f64 1 (*.f64 -1 (/.f64 x lo)))
▶	14.0%	(.f64 x (-.f64 (/.f64 1 x) (+.f64 (.f64 -1 (/.f64 hi (*.f64 lo x))) (/.f64 1 lo))))
	9.7%	(*.f64 hi (+.f64 (/.f64 1 hi) (/.f64 1 lo)))
	18.6%	(.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo)))
	18.7%	(.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x))))
✓	18.7%	1

Compiler

Compiled 2394 to 1654 computations (30.9% saved)

localize1.6s (16.7%)

Localize:

Found 16 expressions with local error:

New	Accuracy	Program
✓	98.8%	(*.f64 x (pow.f64 lo -2))
✓	98.8%	(/.f64 x (pow.f64 lo 2))
✓	98.5%	(.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))
✓	95.1%	(.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))))
✓	98.8%	(/.f64 x (pow.f64 lo 2))
✓	98.5%	(.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo))))
✓	98.0%	(*.f64 (-.f64 x lo) (/.f64 1 lo))
✓	95.1%	(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2))))
✓	100.0%	(+.f64 (.f64 -1 (/.f64 hi (.f64 lo x))) (/.f64 1 lo))
✓	99.6%	(.f64 x (-.f64 (/.f64 1 x) (+.f64 (.f64 -1 (/.f64 hi (*.f64 lo x))) (/.f64 1 lo))))
✓	96.9%	(-.f64 (/.f64 1 x) (+.f64 (.f64 -1 (/.f64 hi (.f64 lo x))) (/.f64 1 lo)))
✓	53.1%	(/.f64 hi (*.f64 lo x))
✓	98.8%	(*.f64 x (pow.f64 lo -2))
✓	98.8%	(/.f64 x (pow.f64 lo 2))
✓	98.5%	(.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))
✓	95.1%	(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 x (pow.f64 lo -2)))))) lo)) (/.f64 x (pow.f64 lo 2))))

Compiler

Compiled 701 to 435 computations (37.9% saved)

Precisions

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

Operation ival-pow, time spent: 406.0ms, 33.0% of total-time

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

Operation ival-mult, time spent: 171.0ms, 14.0% of total-time

Operation composed, time spent: 109.0ms, 9.0% of total-time

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

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

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

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

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

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

series156.0ms (1.6%)

Counts

16 → 381

Calls

126 calls:

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

rewrite140.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

462×	`prod-diff`
395×	`log1p-expm1-u`
394×	`expm1-log1p-u`
386×	`add-cube-cbrt`
381×	`add-exp-log`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	724
1	994	712

Stop Event

1×	node limit

Counts

16 → 285

Calls

Call 1

Inputs
(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.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 x (pow.f64 lo -2))
(/.f64 hi (*.f64 lo x))
(-.f64 (/.f64 1 x) (+.f64 (.f64 -1 (/.f64 hi (.f64 lo x))) (/.f64 1 lo)))
(.f64 x (-.f64 (/.f64 1 x) (+.f64 (.f64 -1 (/.f64 hi (*.f64 lo x))) (/.f64 1 lo))))
(+.f64 (.f64 -1 (/.f64 hi (.f64 lo x))) (/.f64 1 lo))
(.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2))))
(*.f64 (-.f64 x lo) (/.f64 1 lo))
(.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo))))
(/.f64 x (pow.f64 lo 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))))
(.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2))))
(/.f64 x (pow.f64 lo 2))
(*.f64 x (pow.f64 lo -2))

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)
(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 (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)))))
(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 x (pow.f64 lo -2)))
(*.f64 (/.f64 1 lo) (/.f64 x lo))
(*.f64 x (pow.f64 lo -2))
(*.f64 (/.f64 x lo) (/.f64 1 lo))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (pow.f64 lo -2))) 2) (cbrt.f64 (*.f64 x (pow.f64 lo -2))))
(*.f64 (pow.f64 lo -2) x)
(.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)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 x lo) 3) (pow.f64 lo 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 (pow.f64 lo 2) x))
(/.f64 x (pow.f64 lo 2))
(/.f64 (/.f64 x lo) lo)
(/.f64 (neg.f64 x) (neg.f64 (pow.f64 lo 2)))
(/.f64 (*.f64 (/.f64 1 lo) x) lo)
(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)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 x lo) 3) (pow.f64 lo 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))
(cbrt.f64 (/.f64 (pow.f64 hi 3) (pow.f64 (*.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 (/.f64 1 x) (neg.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))
(+.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) (fma.f64 (neg.f64 (sqrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))) (sqrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))
(+.f64 (fma.f64 1 (/.f64 1 x) (neg.f64 (.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)) 1))) (fma.f64 (neg.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 1 (.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)) 1)))
(+.f64 (fma.f64 1 (/.f64 1 x) (neg.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 2) (.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 2))))
(+.f64 (fma.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 1 (cbrt.f64 x)) (neg.f64 (.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)) 1))) (fma.f64 (neg.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 1 (.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)) 1)))
(+.f64 (fma.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 1 (cbrt.f64 x)) (neg.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 2) (.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 2))))
(+.f64 (fma.f64 (sqrt.f64 (/.f64 1 x)) (sqrt.f64 (/.f64 1 x)) (neg.f64 (.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)) 1))) (fma.f64 (neg.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 1 (.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)) 1)))
(+.f64 (fma.f64 (sqrt.f64 (/.f64 1 x)) (sqrt.f64 (/.f64 1 x)) (neg.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 2) (.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 2))))
(.f64 1 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))
(.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))) 2) (cbrt.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)))))
(.f64 (sqrt.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))) (sqrt.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)))))
(/.f64 (-.f64 (pow.f64 x -3) (pow.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)) 3)) (+.f64 (pow.f64 x -2) (+.f64 (pow.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)) 2) (.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))))
(/.f64 (-.f64 (pow.f64 x -2) (pow.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)) 2)) (+.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))
(pow.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))) 1)
(pow.f64 (cbrt.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)))) 3)
(pow.f64 (pow.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)))) 2)
(log.f64 (exp.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)))))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))))
(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))) 3))
(expm1.f64 (log1p.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)))))
(log1p.f64 (expm1.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)))))
(exp.f64 (log.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)))))
(exp.f64 (.f64 (log.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))) 1))
(fma.f64 1 (/.f64 1 x) (neg.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))
(fma.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 1 (cbrt.f64 x)) (neg.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))
(fma.f64 (sqrt.f64 (/.f64 1 x)) (sqrt.f64 (/.f64 1 x)) (neg.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))))) 1)
(pow.f64 (.f64 x (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))) 1)
(pow.f64 (cbrt.f64 (.f64 x (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))) 3)
(pow.f64 (pow.f64 (.f64 x (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))) 2)
(log.f64 (pow.f64 (exp.f64 x) (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))))))
(cbrt.f64 (pow.f64 (.f64 x (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))) 3))
(cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 3)))
(cbrt.f64 (.f64 (pow.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 3) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (.f64 x (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))))
(log1p.f64 (expm1.f64 (.f64 x (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))))
(exp.f64 (log.f64 (.f64 x (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))))
(exp.f64 (.f64 (log.f64 (.f64 x (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))) 1))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)))) 1)
(.f64 1 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo)))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 2) (cbrt.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))
(.f64 (sqrt.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) (sqrt.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))
(/.f64 (+.f64 (pow.f64 (neg.f64 (/.f64 hi (.f64 lo x))) 3) (pow.f64 lo -3)) (+.f64 (pow.f64 (neg.f64 (/.f64 hi (.f64 lo x))) 2) (-.f64 (pow.f64 lo -2) (.f64 (neg.f64 (/.f64 hi (.f64 lo x))) (/.f64 1 lo)))))
(/.f64 (-.f64 (pow.f64 (neg.f64 (/.f64 hi (.f64 lo x))) 2) (pow.f64 lo -2)) (-.f64 (neg.f64 (/.f64 hi (.f64 lo x))) (/.f64 1 lo)))
(pow.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)) 1)
(pow.f64 (cbrt.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))) 3)
(pow.f64 (pow.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))) 2)
(log.f64 (exp.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)))))
(cbrt.f64 (pow.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo)) 3))
(expm1.f64 (log1p.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))
(log1p.f64 (expm1.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))
(exp.f64 (log.f64 (fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))))
(exp.f64 (.f64 (log.f64 (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))) 1))
(fma.f64 1 (/.f64 1 lo) (neg.f64 (/.f64 hi (*.f64 lo x))))
(fma.f64 1 (neg.f64 (/.f64 hi (*.f64 lo x))) (/.f64 1 lo))
(fma.f64 (/.f64 hi (*.f64 lo x)) -1 (/.f64 1 lo))
(fma.f64 -1 (/.f64 hi (*.f64 lo x)) (/.f64 1 lo))
(fma.f64 (cbrt.f64 (pow.f64 lo -2)) (/.f64 1 (cbrt.f64 lo)) (neg.f64 (/.f64 hi (*.f64 lo x))))
(fma.f64 (pow.f64 (cbrt.f64 (neg.f64 (/.f64 hi (.f64 lo x)))) 2) (cbrt.f64 (neg.f64 (/.f64 hi (.f64 lo x)))) (/.f64 1 lo))
(fma.f64 (sqrt.f64 (/.f64 1 lo)) (sqrt.f64 (/.f64 1 lo)) (neg.f64 (/.f64 hi (*.f64 lo x))))
(fma.f64 (sqrt.f64 (neg.f64 (/.f64 hi (.f64 lo x)))) (sqrt.f64 (neg.f64 (/.f64 hi (.f64 lo x)))) (/.f64 1 lo))
(-.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)
(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 (-.f64 x lo) lo))) 1)
(/.f64 (-.f64 x lo) lo)
(/.f64 (*.f64 (-.f64 x lo) 1) lo)
(pow.f64 (/.f64 (-.f64 x lo) lo) 1)
(pow.f64 (cbrt.f64 (/.f64 (-.f64 x lo) lo)) 3)
(pow.f64 (pow.f64 (/.f64 (-.f64 x lo) lo) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) lo)) 2)
(log.f64 (exp.f64 (/.f64 (-.f64 x lo) lo)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 x lo) lo))))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x lo) lo) 3))
(cbrt.f64 (*.f64 (pow.f64 lo -3) (pow.f64 (-.f64 x lo) 3)))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 lo -3)))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 x lo) 3) (pow.f64 lo 3)))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 x lo) lo)))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 x lo) lo)))
(exp.f64 (log.f64 (/.f64 (-.f64 x lo) lo)))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 x lo) lo)) 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)))))
(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 x (pow.f64 lo -2)))
(*.f64 (/.f64 1 lo) (/.f64 x lo))
(*.f64 x (pow.f64 lo -2))
(*.f64 (/.f64 x lo) (/.f64 1 lo))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (pow.f64 lo -2))) 2) (cbrt.f64 (*.f64 x (pow.f64 lo -2))))
(*.f64 (pow.f64 lo -2) x)
(.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)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 x lo) 3) (pow.f64 lo 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 (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)
(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 (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)))))
(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 x (pow.f64 lo -2)))
(*.f64 (/.f64 1 lo) (/.f64 x lo))
(*.f64 x (pow.f64 lo -2))
(*.f64 (/.f64 x lo) (/.f64 1 lo))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (pow.f64 lo -2))) 2) (cbrt.f64 (*.f64 x (pow.f64 lo -2))))
(*.f64 (pow.f64 lo -2) x)
(.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)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 x lo) 3) (pow.f64 lo 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 (pow.f64 lo 2) x))
(/.f64 x (pow.f64 lo 2))
(/.f64 (/.f64 x lo) lo)
(/.f64 (neg.f64 x) (neg.f64 (pow.f64 lo 2)))
(/.f64 (*.f64 (/.f64 1 lo) x) lo)
(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)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 x lo) 3) (pow.f64 lo 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))

eval735.0ms (7.6%)

Compiler: Compiled 32846 to 21806 computations (33.6% saved)

prune193.0ms (2%)

Pruning

53 alts after pruning (48 fresh and 5 done)

	Pruned	Kept	Total
New	966	16	982
Fresh	1	32	33
Picked	3	2	5
Done	0	3	3
Total	970	53	1023

Accuracy

19.7%

Counts

1023 → 53

Alt Table

Click to see full alt table

Status	Accuracy	Program
	18.7%	(/.f64 (-.f64 x lo) hi)
	9.7%	(/.f64 (+.f64 lo (-.f64 (neg.f64 x) (neg.f64 hi))) lo)
✓	9.7%	(/.f64 (+.f64 hi lo) lo)
	9.7%	(/.f64 (.f64 hi (+.f64 1 (+.f64 (.f64 -1 (/.f64 x hi)) (/.f64 lo hi)))) lo)
✓	9.7%	(-.f64 (+.f64 1 (.f64 -1 (/.f64 x lo))) (.f64 -1 (/.f64 hi lo)))
	9.6%	(+.f64 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo))
	18.8%	(+.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.8%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (*.f64 (/.f64 x lo) (/.f64 1 lo)))))
	18.8%	(+.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.8%	(+.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)))))
	14.4%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (.f64 x (+.f64 (.f64 -1 (/.f64 hi (pow.f64 lo 2))) (/.f64 hi (*.f64 lo x)))) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.8%	(+.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 (/.f64 x lo) lo))) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.8%	(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (expm1.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 (-.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)))))
	9.7%	(+.f64 (.f64 -1 (/.f64 x lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
	9.6%	(+.f64 (.f64 -1 (/.f64 x 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.9%	(+.f64 (.f64 -1 (-.f64 (/.f64 x lo) 1)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.8%	(+.f64 (.f64 -1 (.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) 1) (/.f64 (cbrt.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 (/.f64 (sqrt.f64 (-.f64 x lo)) (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (sqrt.f64 (-.f64 x lo)) (cbrt.f64 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 (/.f64 (sqrt.f64 (-.f64 x lo)) 1) (/.f64 (sqrt.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 (/.f64 1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (-.f64 x lo) (cbrt.f64 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)))))
	9.6%	(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (/.f64 hi lo))
	18.8%	(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 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.8%	(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (*.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
✓	18.8%	(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.8%	(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (.f64 (/.f64 x lo) (/.f64 1 lo)))))
	18.8%	(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.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 (-.f64 x lo) (/.f64 1 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.9%	(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.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 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (*.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 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.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 (/.f64 x lo) (/.f64 1 lo)))))
	18.9%	(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.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.8%	(+.f64 (.f64 -1 (.f64 lo (+.f64 (*.f64 -1 (/.f64 x (pow.f64 hi 2))) (/.f64 1 hi)))) (/.f64 x hi))
	1.9%	(+.f64 (.f64 -1 (neg.f64 (-.f64 (/.f64 x lo) 1))) (.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 -1) (.f64 hi (-.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo)) 2) (cbrt.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo)) (/.f64 1 lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 -1) (.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 -1) (.f64 hi (-.f64 (/.f64 (+.f64 1 (/.f64 hi lo)) lo) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 -1) (.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 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
	18.9%	(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (.f64 (/.f64 x lo) (/.f64 1 lo)))))
	18.9%	(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.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 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.f64 (/.f64 hi lo))) lo)) (/.f64 x (pow.f64 lo 2)))))
✓	9.7%	(+.f64 1 (/.f64 hi lo))
	18.7%	(+.f64 1 (*.f64 -1 (/.f64 x lo)))
	18.7%	(*.f64 x (/.f64 1 x))
	18.7%	(*.f64 x (-.f64 (/.f64 1 x) (/.f64 1 lo)))
	14.0%	(.f64 x (-.f64 (/.f64 1 x) (.f64 -1 (/.f64 hi (*.f64 lo x)))))
	6.5%	(.f64 x (.f64 -1 (.f64 hi (-.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 lo)) hi)) (/.f64 1 (*.f64 lo x))))))
	2.8%	(.f64 x (log.f64 (exp.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))))
	9.7%	(*.f64 hi (+.f64 (/.f64 1 hi) (/.f64 1 lo)))
	18.6%	(.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo)))
✓	18.7%	1

Compiler

Compiled 3605 to 2344 computations (35% saved)

regimes129.0ms (1.3%)

Counts

76 → 1

Calls

Call 1

Inputs
1
(*.f64 x (/.f64 1 x))
(+.f64 1 (/.f64 hi lo))
(/.f64 (+.f64 hi lo) lo)
(/.f64 (-.f64 x lo) hi)
(*.f64 -1 (/.f64 (-.f64 x lo) lo))
(+.f64 1 (*.f64 -1 (/.f64 x lo)))
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo)))
(*.f64 hi (+.f64 (/.f64 1 hi) (/.f64 1 lo)))
(*.f64 x (-.f64 (/.f64 1 x) (/.f64 1 lo)))
(+.f64 1 (*.f64 -1 (/.f64 (-.f64 x hi) lo)))
(+.f64 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo))
(/.f64 (+.f64 lo (-.f64 (neg.f64 x) (neg.f64 hi))) lo)
(.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x))))
(/.f64 (-.f64 (+.f64 lo (.f64 -1 x)) (.f64 -1 hi)) lo)
(.f64 x (-.f64 (/.f64 1 x) (.f64 -1 (/.f64 hi (*.f64 lo x)))))
(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (/.f64 hi lo))
(-.f64 (+.f64 1 (.f64 -1 (/.f64 x lo))) (.f64 -1 (/.f64 hi lo)))
(/.f64 (.f64 hi (+.f64 1 (+.f64 (.f64 -1 (/.f64 x hi)) (/.f64 lo hi)))) lo)
(.f64 hi (+.f64 (.f64 -1 (/.f64 x (*.f64 hi lo))) (+.f64 (/.f64 1 hi) (/.f64 1 lo))))
(.f64 x (-.f64 (/.f64 1 x) (+.f64 (.f64 -1 (/.f64 hi (*.f64 lo x))) (/.f64 1 lo))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))))
(.f64 x (.f64 -1 (.f64 hi (-.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 lo)) hi)) (/.f64 1 (*.f64 lo x))))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (*.f64 (/.f64 x lo) (/.f64 1 lo)))))
(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (.f64 (/.f64 x lo) (/.f64 1 lo)))))
(+.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))) (fma.f64 1 (/.f64 hi lo) (/.f64 hi lo)))
(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (/.f64 (+.f64 1 (/.f64 hi lo)) lo) (/.f64 x (pow.f64 lo 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 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.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 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (*.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (.f64 (/.f64 x lo) (/.f64 1 lo)))))
(+.f64 (.f64 -1 (/.f64 x lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (-.f64 (/.f64 x lo) 1)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x 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 (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x 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 (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (.f64 (/.f64 1 lo) (/.f64 x lo)))))
(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 -1) (.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 (.f64 -1 (/.f64 x 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)))))
(+.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)))))
(+.f64 (.f64 -1 (neg.f64 (-.f64 (/.f64 x lo) 1))) (.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 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 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)))))
(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.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 x (log.f64 (exp.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))))
(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.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 -1) (.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 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (*.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 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 (/.f64 x lo) lo))) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.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 (/.f64 x lo) (/.f64 1 lo)))))
(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))))) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 -1) (.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 x 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 (log1p.f64 (expm1.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)) (.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) (/.f64 1 lo))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.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)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log.f64 (+.f64 1 (expm1.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) (/.f64 1 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) (/.f64 1 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 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.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 (cbrt.f64 (pow.f64 (.f64 x (+.f64 (.f64 -1 (/.f64 hi (pow.f64 lo 2))) (/.f64 hi (*.f64 lo x)))) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (.f64 (/.f64 (sqrt.f64 (-.f64 x lo)) 1) (/.f64 (sqrt.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)))))
(+.f64 (.f64 -1 (.f64 (/.f64 1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (-.f64 x lo) (cbrt.f64 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)))))
(+.f64 (.f64 -1 (.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) 1) (/.f64 (cbrt.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)))))
(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.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)) (.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 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (expm1.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 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.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 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.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 (.f64 -1 (.f64 (/.f64 (sqrt.f64 (-.f64 x lo)) (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (sqrt.f64 (-.f64 x lo)) (cbrt.f64 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)))))
(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo)) 2) (cbrt.f64 (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 x (pow.f64 lo -2)))) lo)) (/.f64 1 lo)) (/.f64 x (pow.f64 lo 2)))))

Outputs

(+.f64 (*.f64 -1 (*.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (*.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 (/.f64 x lo) (/.f64 1 lo)))))

Calls

4 calls:

36.0ms	hi
35.0ms	lo
34.0ms	x
8.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))

Results

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

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes159.0ms (1.6%)

Counts

52 → 1

Calls

Call 1

Inputs
1
(*.f64 x (/.f64 1 x))
(+.f64 1 (/.f64 hi lo))
(/.f64 (+.f64 hi lo) lo)
(/.f64 (-.f64 x lo) hi)
(*.f64 -1 (/.f64 (-.f64 x lo) lo))
(+.f64 1 (*.f64 -1 (/.f64 x lo)))
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo)))
(*.f64 hi (+.f64 (/.f64 1 hi) (/.f64 1 lo)))
(*.f64 x (-.f64 (/.f64 1 x) (/.f64 1 lo)))
(+.f64 1 (*.f64 -1 (/.f64 (-.f64 x hi) lo)))
(+.f64 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo))
(/.f64 (+.f64 lo (-.f64 (neg.f64 x) (neg.f64 hi))) lo)
(.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x))))
(/.f64 (-.f64 (+.f64 lo (.f64 -1 x)) (.f64 -1 hi)) lo)
(.f64 x (-.f64 (/.f64 1 x) (.f64 -1 (/.f64 hi (*.f64 lo x)))))
(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (/.f64 hi lo))
(-.f64 (+.f64 1 (.f64 -1 (/.f64 x lo))) (.f64 -1 (/.f64 hi lo)))
(/.f64 (.f64 hi (+.f64 1 (+.f64 (.f64 -1 (/.f64 x hi)) (/.f64 lo hi)))) lo)
(.f64 hi (+.f64 (.f64 -1 (/.f64 x (*.f64 hi lo))) (+.f64 (/.f64 1 hi) (/.f64 1 lo))))
(.f64 x (-.f64 (/.f64 1 x) (+.f64 (.f64 -1 (/.f64 hi (*.f64 lo x))) (/.f64 1 lo))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))))
(.f64 x (.f64 -1 (.f64 hi (-.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 lo)) hi)) (/.f64 1 (*.f64 lo x))))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (*.f64 (/.f64 x lo) (/.f64 1 lo)))))
(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (.f64 (/.f64 x lo) (/.f64 1 lo)))))
(+.f64 (+.f64 1 (-.f64 (/.f64 x lo) (/.f64 hi lo))) (fma.f64 1 (/.f64 hi lo) (/.f64 hi lo)))
(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (/.f64 (+.f64 1 (/.f64 hi lo)) lo) (/.f64 x (pow.f64 lo 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 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.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 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (*.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (/.f64 hi lo) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (.f64 (/.f64 x lo) (/.f64 1 lo)))))
(+.f64 (.f64 -1 (/.f64 x lo)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (-.f64 (/.f64 x lo) 1)) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x 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 (-.f64 (/.f64 1 lo) (.f64 (/.f64 1 lo) (/.f64 x 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 (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))) lo)) (.f64 (/.f64 1 lo) (/.f64 x lo)))))
(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))) lo)) (/.f64 x (pow.f64 lo 2)))))
(+.f64 (.f64 -1 -1) (.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 (.f64 -1 (/.f64 x 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)))))
(+.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)))))
(+.f64 (.f64 -1 (neg.f64 (-.f64 (/.f64 x lo) 1))) (.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 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 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)))))
(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (.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 x (log.f64 (exp.f64 (-.f64 (/.f64 1 x) (fma.f64 (/.f64 hi (.f64 lo x)) -1 (/.f64 1 lo))))))
(+.f64 (.f64 -1 -1) (.f64 hi (-.f64 (+.f64 (/.f64 1 lo) (/.f64 (log1p.f64 (expm1.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 -1) (.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 x (-.f64 (/.f64 1 lo) (/.f64 1 x)))) (*.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 (+.f64 (/.f64 1 lo) (/.f64 (cbrt.f64 (pow.f64 (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 (/.f64 x lo) lo))) 3)) lo)) (/.f64 x (pow.f64 lo 2)))))

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

Calls

4 calls:

100.0ms	lo
26.0ms	x
25.0ms	hi
4.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))

Results

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

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes52.0ms (0.5%)

Counts

27 → 1

Calls

Call 1

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

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

Calls

4 calls:

18.0ms	x
15.0ms	hi
14.0ms	lo
3.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))

Results

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

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes47.0ms (0.5%)

Counts

24 → 1

Calls

Call 1

Inputs
1
(*.f64 x (/.f64 1 x))
(+.f64 1 (/.f64 hi lo))
(/.f64 (+.f64 hi lo) lo)
(/.f64 (-.f64 x lo) hi)
(*.f64 -1 (/.f64 (-.f64 x lo) lo))
(+.f64 1 (*.f64 -1 (/.f64 x lo)))
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo)))
(*.f64 hi (+.f64 (/.f64 1 hi) (/.f64 1 lo)))
(*.f64 x (-.f64 (/.f64 1 x) (/.f64 1 lo)))
(+.f64 1 (*.f64 -1 (/.f64 (-.f64 x hi) lo)))
(+.f64 (+.f64 1 (/.f64 x lo)) (/.f64 hi lo))
(/.f64 (+.f64 lo (-.f64 (neg.f64 x) (neg.f64 hi))) lo)
(.f64 -1 (.f64 x (-.f64 (/.f64 1 lo) (/.f64 1 x))))
(/.f64 (-.f64 (+.f64 lo (.f64 -1 x)) (.f64 -1 hi)) lo)
(.f64 x (-.f64 (/.f64 1 x) (.f64 -1 (/.f64 hi (*.f64 lo x)))))
(+.f64 (.f64 -1 (.f64 (-.f64 x lo) (/.f64 1 lo))) (/.f64 hi lo))
(-.f64 (+.f64 1 (.f64 -1 (/.f64 x lo))) (.f64 -1 (/.f64 hi lo)))
(/.f64 (.f64 hi (+.f64 1 (+.f64 (.f64 -1 (/.f64 x hi)) (/.f64 lo hi)))) lo)
(.f64 hi (+.f64 (.f64 -1 (/.f64 x (*.f64 hi lo))) (+.f64 (/.f64 1 hi) (/.f64 1 lo))))
(.f64 x (-.f64 (/.f64 1 x) (+.f64 (.f64 -1 (/.f64 hi (*.f64 lo x))) (/.f64 1 lo))))
(+.f64 (.f64 -1 (/.f64 (-.f64 x lo) lo)) (.f64 hi (-.f64 (/.f64 1 lo) (*.f64 (/.f64 1 lo) (/.f64 x lo)))))
(.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 (-.f64 x lo) hi)

Calls

4 calls:

13.0ms	lo
13.0ms	hi
13.0ms	x
7.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))

Results

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

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes15.0ms (0.2%)

Accuracy

Total -5.8b remaining (-11.1%)

Threshold costs -5.8b (-11.1%)

Stop Event

1×

fuel

Counts

4 → 1

Calls

Call 1

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

Outputs
1

Calls

3 calls:

5.0ms	hi
4.0ms	x
4.0ms	lo

Results

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

Compiler

Compiled 131 to 91 computations (30.5% saved)

soundness328.0ms (3.4%)

Rules

504×	`prod-diff`
462×	`prod-diff`
396×	`log1p-expm1-u`
396×	`expm1-log1p-u`
395×	`log1p-expm1-u`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	674
1	1053	651
0	31	426
1	582	394
0	51	724
1	994	712

Stop Event

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

Compiler

Compiled 779 to 487 computations (37.5% saved)

end0.0ms (0%)

preprocess73.0ms (0.8%)

Compiler: Compiled 234 to 148 computations (36.8% saved)

analyze1.0ms (0%)

sample1.4s (14.4%)

preprocess244.0ms (2.5%)

eval0.0ms (0%)

prune1.0ms (0%)

localize33.0ms (0.3%)

series11.0ms (0.1%)

rewrite266.0ms (2.7%)

eval22.0ms (0.2%)

prune20.0ms (0.2%)

localize492.0ms (5.1%)

series89.0ms (0.9%)

rewrite198.0ms (2%)

eval472.0ms (4.9%)

prune219.0ms (2.3%)

localize1.0s (10.6%)

series90.0ms (0.9%)

rewrite225.0ms (2.3%)

eval999.0ms (10.3%)

prune250.0ms (2.6%)

localize1.6s (16.7%)

series156.0ms (1.6%)

rewrite140.0ms (1.4%)

eval735.0ms (7.6%)

prune193.0ms (2%)

regimes129.0ms (1.3%)

regimes159.0ms (1.6%)

regimes52.0ms (0.5%)

regimes47.0ms (0.5%)

regimes15.0ms (0.2%)

soundness328.0ms (3.4%)

end0.0ms (0%)

preprocess73.0ms (0.8%)

Profiling